diff osdep/timer.h @ 24028:c7c711cc388a

Remove outdated lines.
author diego
date Sun, 12 Aug 2007 12:42:47 +0000
parents 88bed2131f19
children 9e739bdb049c
line wrap: on
line diff