diff osdep/timer.h @ 35428:0833bccb3c7b

Fix bug introduced in r35521.
author ib
date Fri, 30 Nov 2012 11:01:09 +0000
parents 1453fc56d49c
children
line wrap: on
line diff