Default tick interval was 50ms, change it to 20ms
[ghc-hetmet.git] / docs / man / gen_flags.xsl.pl
2006-12-05 Ian LynaghMake a ghc/ghci manpage