diff osdep/timer.h @ 12645:3841ef14a481

name change
author diego
date Fri, 25 Jun 2004 16:43:34 +0000
parents edfe34c5405d
children f9755d9c479a
line wrap: on
line diff