diff osdep/timer-linux.c @ 25213:4a2b738ec787

Remove casts that are (no longer) necessary
author reimar
date Sun, 02 Dec 2007 13:38:51 +0000
parents 10a3f5b4ee20
children c0e1528c7432
line wrap: on
line diff