Tweak +RTS --info docs
authorIan Lynagh <igloo@earth.li>
Fri, 27 Feb 2009 02:07:58 +0000 (02:07 +0000)
committerIan Lynagh <igloo@earth.li>
Fri, 27 Feb 2009 02:07:58 +0000 (02:07 +0000)
commit345e841d577eadf30ebca399cc4b8bfd48f9522e
treefeb54a2218e8f43cc32c85bc0240a21584a7dcd3
parentf48b8ba55be1f05a0a8e0cc3348ba44ca86c554c
Tweak +RTS --info docs
docs/users_guide/runtime_control.xml