diff osdep/timer.h @ 18548:d73877c6bb54

synced with 1.87
author gabrov
date Thu, 18 May 2006 17:45:20 +0000
parents f580a7755ac5
children 88bed2131f19
line wrap: on
line diff