comparison osdep/timer-linux.c @ 26719:3abd1629658b

Use standard license headers.
author diego
date Mon, 12 May 2008 17:39:36 +0000
parents c0e1528c7432
children 8eff880f638c
comparison
equal deleted inserted replaced
26718:051b2632f121 26719:3abd1629658b