+RTS -V0 disables the interval timer completely (for repeatable debugging)
[ghc-hetmet.git] / docs / man / gen_flags.xsl.pl
2006-12-05 Ian LynaghMake a ghc/ghci manpage