]> git.ipfire.org Git - thirdparty/valgrind.git/commit
projects / thirdparty / valgrind.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9e87b10) | patch
manual-core.xml: Fix various xmllint issues.
authorMark Wielaard <mark@klomp.org>
Wed, 13 May 2020 13:37:13 +0000 (15:37 +0200)
committerMark Wielaard <mark@klomp.org>
Wed, 13 May 2020 13:37:13 +0000 (15:37 +0200)
commit014bcea452ec8dc7a547f5a7307482eac1db458d
tree08fedd78ca06b6e4bad42aa5d44c675c37955167tree | snapshot
parent9e87b109a0538228261c215d577a859ae8654bdbcommit | diff
manual-core.xml: Fix various xmllint issues.

Wrap bare CDATA text in a para and make sure that all listitems contain
paras.
docs/xml/manual-core.xml diff | blob | blame | history
Mirror of https://sourceware.org/git/valgrind.git