tree 22a1785ba4958859d714c888e326029f3acca8eb
parent aa19e15b64ddf41485d4e9a87103e09059f990c4
author philippe <philippe@a5019735-40e9-0310-863c-91ae7b9d1cf9> 1431281858 +0000
committer philippe <philippe@a5019735-40e9-0310-863c-91ae7b9d1cf9> 1431281858 +0000

small refinement in the outer/inner doc


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