diff Gui/timer.h @ 4406:d8e5237af111

Minor fix - else 0 is unreachable
author nick
date Tue, 29 Jan 2002 10:07:05 +0000
parents f91ad6d23ce9
children
line wrap: on
line diff