commit | 122f6afaa5c29d933907e21f5a993e072a3c5745 | [log] [tgz] |
---|---|---|
author | sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Wed Sep 03 21:58:54 2014 +0000 |
committer | sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Wed Sep 03 21:58:54 2014 +0000 |
tree | 2b405593f42ef0a5737d6221b65951571703aea1 | |
parent | 3e49e4c2cb9a4394fd12780618e50d19d3c3a404 [diff] |
Slightly change the help text for some options that involve user-supplied enumeration values. git-svn-id: svn://svn.valgrind.org/valgrind/trunk@14447 a5019735-40e9-0310-863c-91ae7b9d1cf9