tree 1aee315f42cee0565325ff9529478b9d1926de72
parent f3418c09b8d0bfaca08f9eda97c459bd8ea8b67a
author sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> 1131465156 +0000
committer sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> 1131465156 +0000

Document the --kernel-variant= option.


git-svn-id: svn://svn.valgrind.org/valgrind/trunk@5040 a5019735-40e9-0310-863c-91ae7b9d1cf9