diff osdep/timer.h @ 16687:ce1d13ea7d27

synced with 1.12, patch by johan bos
author gpoirier
date Thu, 06 Oct 2005 11:16:22 +0000
parents f9755d9c479a
children f580a7755ac5
line wrap: on
line diff