Update docs on ticky-ticky profiling
authorSimon Marlow <marlowsd@gmail.com>
Thu, 5 Nov 2009 10:15:03 +0000 (10:15 +0000)
committerSimon Marlow <marlowsd@gmail.com>
Thu, 5 Nov 2009 10:15:03 +0000 (10:15 +0000)
commit837c6e35e3c52df84a82709cd6f91a8a7468fb51
tree905449cd34a0499206c5f95b9c85534a939d2cce
parentad9239172c453e4244de8eccc172e2c679766ea5
Update docs on ticky-ticky profiling
docs/users_guide/flags.xml
docs/users_guide/profiling.xml
docs/users_guide/runtime_control.xml