drd manual: Update according to post-3.7.0 changes
commit0a1c05242b4a2c50a102655450ce47231b643dc7
authorBart Van Assche <bvanassche@acm.org>
Sat, 16 Jun 2012 18:51:16 +0000 (16 18:51 +0000)
committerBart Van Assche <bvanassche@acm.org>
Sat, 16 Jun 2012 18:51:16 +0000 (16 18:51 +0000)
tree788e87cca26ddfbafed55b8111d20240f6c9c100
parentdeec5f8ece349a0909d9bb86a80892b38cfccdf4
drd manual: Update according to post-3.7.0 changes

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@12645
drd/docs/drd-manual.xml