Document the change to +RTS -S/-s/-t
authorSimon Marlow <marlowsd@gmail.com>
Thu, 19 Jun 2008 12:12:01 +0000 (12:12 +0000)
committerSimon Marlow <marlowsd@gmail.com>
Thu, 19 Jun 2008 12:12:01 +0000 (12:12 +0000)
commit949ce3bb4ef2654a814b3549051e439daf82b5e9
tree27a35e9d4e1046e9835bf752d70265ecdc90e988
parentc0c81d098a7637ac79c7309e64166c1d8b005027
Document the change to +RTS -S/-s/-t
docs/users_guide/runtime_control.xml
docs/users_guide/sooner.xml
docs/users_guide/using.xml