diff osdep/timer-linux.c @ 28473:95f0006b3e93

partial sync with obsolete section removal
author diego
date Mon, 09 Feb 2009 23:11:44 +0000 (2009-02-09)
parents 8eff880f638c
children 5cfef41a1771
line wrap: on
line diff