tree d6a5d2ce04992d89f5a5a4113ee2b6388154c5dd
parent 55663012533f310964e5dd89d1468a61df856224
author philippe <philippe@a5019735-40e9-0310-863c-91ae7b9d1cf9> 1392238098 +0000
committer philippe <philippe@a5019735-40e9-0310-863c-91ae7b9d1cf9> 1392238098 +0000

Mention that --vgdb=full bypasses the discard_translation gdbsrv problem


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