| commit | 9087927d5ec11c4f7edb517ac7babd402ab4386d | [log] [tgz] |
|---|---|---|
| author | philippe <philippe@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Sun May 10 18:17:38 2015 +0000 |
| committer | philippe <philippe@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Sun May 10 18:17:38 2015 +0000 |
| tree | 22a1785ba4958859d714c888e326029f3acca8eb | |
| parent | aa19e15b64ddf41485d4e9a87103e09059f990c4 [diff] |
small refinement in the outer/inner doc git-svn-id: svn://svn.valgrind.org/valgrind/trunk@15206 a5019735-40e9-0310-863c-91ae7b9d1cf9