diff osdep/timer.h @ 21181:d2a3e5845d17

Handle stubs.s like all other source files.
author diego
date Fri, 24 Nov 2006 23:49:30 +0000 (2006-11-24)
parents f580a7755ac5
children 88bed2131f19
line wrap: on
line diff