add a section id for +RTS -hT
authorSimon Marlow <marlowsd@gmail.com>
Tue, 7 Oct 2008 15:10:07 +0000 (15:10 +0000)
committerSimon Marlow <marlowsd@gmail.com>
Tue, 7 Oct 2008 15:10:07 +0000 (15:10 +0000)
commitc74dd1f133703da84fdd8a513a3598fc74b67f0b
treee16e94f2b4355f55d039b20ee36c6bf3c6367ed4
parentd0f7e402963b6f6cbe78c2a0421da2dacdca6921
add a section id for +RTS -hT
docs/users_guide/runtime_control.xml