Default tick interval was 50ms, change it to 20ms
[ghc-hetmet.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