diff osdep/timer.h @ 22357:131563493cc4

clarify -none command line option
author ivo
date Wed, 28 Feb 2007 11:46:53 +0000
parents f580a7755ac5
children 88bed2131f19
line wrap: on
line diff