commit | 0e1b0c22dfc0af517b0ad74e24bcea4f5eb22962 | [log] [tgz] |
---|---|---|
author | tom <tom@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Mon Aug 15 08:20:53 2011 +0000 |
committer | tom <tom@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Mon Aug 15 08:20:53 2011 +0000 |
tree | 6749ce9100b0271ae63aa7b2cccfb992d683ce8d | |
parent | 164d2fe1a3e55a84ccd501fd24597b6b4456a93f [diff] |
Mention the --tool option in the manual page. Fixes #249970. git-svn-id: svn://svn.valgrind.org/valgrind/trunk@11979 a5019735-40e9-0310-863c-91ae7b9d1cf9