commit | e906c6496d1a9a1eecc7403e4165b36a6a8315d3 | [log] [tgz] |
---|---|---|
author | florian <florian@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Mon Oct 03 16:55:26 2011 +0000 |
committer | florian <florian@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Mon Oct 03 16:55:26 2011 +0000 |
tree | 34a38c6d4d3ed7133cd2ac496d13311602c3a9b8 | |
parent | f503645e6e11daf5e6490f797f0a38d3767bd8ba [diff] |
Update names of vgdb pipes in documentation. Followup to r12071. git-svn-id: svn://svn.valgrind.org/valgrind/trunk@12088 a5019735-40e9-0310-863c-91ae7b9d1cf9