commit | a331164f5e8d192fc179700bccedc2bd64df1791 | [log] [tgz] |
---|---|---|
author | njn <njn@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Mon Aug 10 01:29:14 2009 +0000 |
committer | njn <njn@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Mon Aug 10 01:29:14 2009 +0000 |
tree | 9754aef3c18d46ec611bf6713448f71196cb5eff | |
parent | f4b4758c0f0f01593e45ec7b55b2ecffbbee9bc1 [diff] |
Make "option" terminology consistent some more. Also tweaked the mempool Memcheck section a little. git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10759 a5019735-40e9-0310-863c-91ae7b9d1cf9