commit | 3a5d5f7f6f7ba5e8d6bf0d69513fd9b9924709ed | [log] [tgz] |
---|---|---|
author | florian <florian@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Thu Aug 27 17:56:56 2015 +0000 |
committer | florian <florian@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Thu Aug 27 17:56:56 2015 +0000 |
tree | 88a8ac26ff1f6dade74c03b70a2160620c89836c | |
parent | 9ee20ebd0a2f2872b9fc4d93648e044ede2f2d87 [diff] |
Announce new command line option. git-svn-id: svn://svn.valgrind.org/valgrind/trunk@15595 a5019735-40e9-0310-863c-91ae7b9d1cf9