Thu, 16 Jul 2009 13:51:49 +0200fixed bug in timerscfg.h for win32
greg [Thu, 16 Jul 2009 13:51:49 +0200] rev 565
fixed bug in timerscfg.h for win32