diff osdep/timer.h @ 14061:682ddd07f14e

better label
author diego
date Mon, 29 Nov 2004 18:44:08 +0000
parents f9755d9c479a
children f580a7755ac5
line wrap: on
line diff