[project @ 2006-01-10 09:05:18 by simonmar]
authorsimonmar <unknown>
Tue, 10 Jan 2006 09:05:18 +0000 (09:05 +0000)
committersimonmar <unknown>
Tue, 10 Jan 2006 09:05:18 +0000 (09:05 +0000)
commite0dc0bc87a534b5a0329d3544c408c5f32d129a4
tree12014898baa519189475f46b6f562c157a8a4c70
parent86010e433ff9534809e43b8d2ffcda682d011a28
[project @ 2006-01-10 09:05:18 by simonmar]
add file argument to docs for +RTS -t
ghc/docs/users_guide/runtime_control.xml