Fix the +RTS -V0 option introduced recently; it didn't work at all, now it does.
[ghc.git] / rts / Ticker.h
2007-03-02  Simon MarlowUse timer_create() for the interval timer, if available
2006-04-07  Simon MarlowReorganisation of the source tree