]> git.ipfire.org Git - thirdparty/valgrind.git/commit
projects / thirdparty / valgrind.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 14c8185) | patch
dh-manual.xml: Remove duplicate dh-manual.options id.
authorMark Wielaard <mark@klomp.org>
Wed, 13 May 2020 13:13:18 +0000 (15:13 +0200)
committerMark Wielaard <mark@klomp.org>
Wed, 13 May 2020 13:15:45 +0000 (15:15 +0200)
commit7425c1bc9678b06cd9552b99e7b397b76d6d2640
tree0ac7679bb9e0ffc9a5f990b40d79597d8d0c7d31tree
parent14c818557cd5d89894818c8503b089adfdbff70acommit | diff
dh-manual.xml: Remove duplicate dh-manual.options id.

Rename one to dh-manual.realloc.
dhat/docs/dh-manual.xml diff | blob | blame | history
Mirror of https://sourceware.org/git/valgrind.git