[project @ 2002-10-01 08:53:14 by simonmar]
authorsimonmar <unknown>
Tue, 1 Oct 2002 08:53:14 +0000 (08:53 +0000)
committersimonmar <unknown>
Tue, 1 Oct 2002 08:53:14 +0000 (08:53 +0000)
commitaa4062bba02e747e7c05cbaa70b7e5b2e5c09b31
tree2e31fe3a13c5c29d654fdf2276c0ce5f836ac17b
parent67d593b8531b094ceef7c229e00b086011aef7c0
[project @ 2002-10-01 08:53:14 by simonmar]
The help text for the -i profiling option was wrong: it claimed the
argument was in milliseconds rather than seconds.

MERGE TO STABLE
ghc/rts/RtsFlags.c