diff osdep/timer.h @ 15510:97a0be4ec817

charset as reported, please fix if this is wrong
author reimar
date Wed, 18 May 2005 19:04:29 +0000
parents f9755d9c479a
children f580a7755ac5
line wrap: on
line diff