TimerSanityCheck.py: ignore ended singleshot timers in timersanity check (speedup)
authorghost <andreas.monzner@multimedia-labs.de>
Mon, 20 Dec 2010 22:21:59 +0000 (23:21 +0100)
committerghost <andreas.monzner@multimedia-labs.de>
Mon, 20 Dec 2010 22:21:59 +0000 (23:21 +0100)
fixes #635


No differences found