diff osdep/timer.h @ 22533:04762e3ffd0b

Remove unnecessary -I option.
author diego
date Tue, 13 Mar 2007 22:15:39 +0000
parents f580a7755ac5
children 88bed2131f19
line wrap: on
line diff