diff osdep/timer.h @ 13981:3e82594ec231

correct encoding
author diego
date Fri, 19 Nov 2004 18:34:33 +0000
parents f9755d9c479a
children f580a7755ac5
line wrap: on
line diff