commit | f4b4758c0f0f01593e45ec7b55b2ecffbbee9bc1 | [log] [tgz] |
---|---|---|
author | njn <njn@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Mon Aug 10 01:15:30 2009 +0000 |
committer | njn <njn@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Mon Aug 10 01:15:30 2009 +0000 |
tree | 053f2f004b29f7deb91b7197885246d0d8b5278a | |
parent | 36ef257a7f9c682d7c78b00b37f2b7f10b53fa90 [diff] |
Be consistent in the naming of sections describing command-line options. Also, use "option" rather than "flag" where possible, for consistency. git-svn-id: svn://svn.valgrind.org/valgrind/trunk@10758 a5019735-40e9-0310-863c-91ae7b9d1cf9