drd/docs/drd-manual.xml: Remove a redundant phrase.
commit2a8993440ef6f2cfd6a5fcaa47bac3c29ccdbe9a
authorBart Van Assche <bvanassche@acm.org>
Sat, 6 Sep 2014 06:23:15 +0000 (6 06:23 +0000)
committerBart Van Assche <bvanassche@acm.org>
Sat, 6 Sep 2014 06:23:15 +0000 (6 06:23 +0000)
tree6ce2ef47663ddfcaefcea729d12888d1585ac974
parentd02c10cede30a32e1de29da4eacc8a5bad6f7260
drd/docs/drd-manual.xml: Remove a redundant phrase.

This was reported by Dilyan Palauzov

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