[project @ 2006-01-06 11:04:07 by simonmar]
authorsimonmar <unknown>
Fri, 6 Jan 2006 11:04:07 +0000 (11:04 +0000)
committersimonmar <unknown>
Fri, 6 Jan 2006 11:04:07 +0000 (11:04 +0000)
commit2a2efb720c0fdc06fe749f96f284b00b30f8f3f7
tree33d9640df14675c6f3ad8c29af756d0be33b0c8e
parentdd45134bcb376a8bbc982370b95b3dbeaa8dc58a
[project @ 2006-01-06 11:04:07 by simonmar]
Document -Rghc-timing
ghc/docs/users_guide/flags.xml
ghc/docs/users_guide/using.xml