updates to the section describing the +RTS -s/-S output (#3211)
authorSimon Marlow <marlowsd@gmail.com>
Mon, 11 May 2009 14:49:35 +0000 (14:49 +0000)
committerSimon Marlow <marlowsd@gmail.com>
Mon, 11 May 2009 14:49:35 +0000 (14:49 +0000)
commit9ee105bd1f977a8fd68281e7658383d5a0c86156
tree7596a633abf72e04660862430fdb175d43a7bc18
parentb85afc249e0690ba99d4c7783c50105ae6e6b11e
updates to the section describing the  +RTS -s/-S output (#3211)
docs/users_guide/runtime_control.xml