diff Gui/timer.h @ 3256:c42e6759c82b

file format detection reordered to get better hits
author arpi
date Sat, 01 Dec 2001 22:12:58 +0000
parents f91ad6d23ce9
children
line wrap: on
line diff