]> git.ipfire.org Git - thirdparty/valgrind.git/commit
Small improvement to documentation.
authorPhilippe Waroquiers <philippe.waroquiers@skynet.be>
Mon, 2 Jan 2023 22:04:44 +0000 (23:04 +0100)
committerPhilippe Waroquiers <philippe.waroquiers@skynet.be>
Mon, 2 Jan 2023 22:05:35 +0000 (23:05 +0100)
commit56971834a79eff2decd16cdb23f16a2d4d37181a
tree61f5ff340480d798630b1bd0c2301b7fe97b3432
parent8224cf37a9358728413dc753fd4afb50dcdfd2fd
Small improvement to documentation.
docs/xml/manual-core-adv.xml