| commit | 6fb1e55367fde0994dacc4c25b0669d742e69763 | [log] [tgz] |
|---|---|---|
| author | njn <njn@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Fri Mar 11 04:35:00 2005 +0000 |
| committer | njn <njn@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Fri Mar 11 04:35:00 2005 +0000 |
| tree | 05a1f0d376b0406639e3f86d9b7e225576a78c8b | |
| parent | 76c5bfa13cde6e73f50b75cbea18921cb49fcc0d [diff] |
De-document now-defunct command line options. MERGED FROM CVS HEAD git-svn-id: svn://svn.valgrind.org/valgrind/trunk@3271 a5019735-40e9-0310-863c-91ae7b9d1cf9