diff osdep/timer.h @ 24567:02249da619ce

synced with r24573
author Gabrov
date Thu, 20 Sep 2007 09:04:40 +0000
parents 88bed2131f19
children 9e739bdb049c
line wrap: on
line diff