diff osdep/timer.h @ 33557:71ec25d1da10

Fix compilation after r33644. Some include file changes apparently got lost.
author ib
date Sat, 18 Jun 2011 16:35:37 +0000
parents 1453fc56d49c
children
line wrap: on
line diff