tree 139742dd7d05b46654d3a9001d5a84defd7e4239
parent 4bf35b970b188333869fde8e6dbdd879cd102d0d
author sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> 1410513756 +0000
committer sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> 1410513756 +0000

Merge r14513 from 3_10_BRANCH (Update docs w.r.t. status of
partially-enabled --read-inline-info.)


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