diff osdep/timer-linux.c @ 28205:ddbc84ded0c7

synced with r28215
author Gabrov
date Sun, 04 Jan 2009 09:49:58 +0000
parents 8eff880f638c
children 5cfef41a1771
line wrap: on
line diff