FIX #1891 (describe +RTS --info output in GHC user guide)
authorAndrew Coppin <andrewcoppin@btinternet.com>
Sat, 14 Feb 2009 15:02:34 +0000 (15:02 +0000)
committerAndrew Coppin <andrewcoppin@btinternet.com>
Sat, 14 Feb 2009 15:02:34 +0000 (15:02 +0000)
commit00fe691ba258b2d9c8d5d85a3dffc0224b426dd8
tree623a5336bc27709ba9d6ec22bff81aaa78debc7f
parent0b3b3ada70a54a3ea29ecfbbfabda33472e2c00c
FIX #1891 (describe +RTS --info output in GHC user guide)
docs/users_guide/runtime_control.xml