]> git.ipfire.org Git - thirdparty/valgrind.git/commit
drd/docs/drd-manual.xml: Remove a redundant phrase.
authorBart Van Assche <bvanassche@acm.org>
Sat, 6 Sep 2014 06:23:15 +0000 (06:23 +0000)
committerBart Van Assche <bvanassche@acm.org>
Sat, 6 Sep 2014 06:23:15 +0000 (06:23 +0000)
commit2a8993440ef6f2cfd6a5fcaa47bac3c29ccdbe9a
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