commit | 2f87090a21801a0e1ef26369172095d5f86318c7 | [log] [tgz] |
---|---|---|
author | sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Thu Oct 23 21:49:58 2014 +0000 |
committer | sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Thu Oct 23 21:49:58 2014 +0000 |
tree | 507ddbcad59b09c88742e9af64c927400201850b | |
parent | 67f7c0384ad9a590a8c8a9737074168f897e1678 [diff] |
Add --resync-filter to the --help output. git-svn-id: svn://svn.valgrind.org/valgrind/trunk@14662 a5019735-40e9-0310-863c-91ae7b9d1cf9