Use timer_create() for the interval timer, if available
[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