diff Gui/timer.h @ 2262:8cae22120633

gpl fix?
author arpi
date Thu, 18 Oct 2001 20:52:33 +0000
parents f91ad6d23ce9
children
line wrap: on
line diff