[project @ 1999-07-15 09:56:04 by simonmar]
authorsimonmar <unknown>
Thu, 15 Jul 1999 09:56:04 +0000 (09:56 +0000)
committersimonmar <unknown>
Thu, 15 Jul 1999 09:56:04 +0000 (09:56 +0000)
Use +RTS -S<file> rather than +RTS -s<file>, since the latter only
gives summary statistics now.


No differences found