diff osdep/timer-linux.c @ 26552:806697d15e5c

Mark phony checkheaders target as such.
author diego
date Mon, 28 Apr 2008 17:57:44 +0000
parents c0e1528c7432
children 8eff880f638c
line wrap: on
line diff