]> git.ipfire.org Git - thirdparty/valgrind.git/commit
Various minor fixes and correction in user manual and monitor command help
authorPhilippe Waroquiers <philippe.waroquiers@skynet.be>
Tue, 1 Aug 2017 20:21:38 +0000 (20:21 +0000)
committerPhilippe Waroquiers <philippe.waroquiers@skynet.be>
Tue, 1 Aug 2017 20:21:38 +0000 (20:21 +0000)
commitdc0fb705e94ea86627d648e15533338430946698
tree164a44fdac5303e2c894fc35d3778a1e9af417e5
parenteec7606c5ba8a25fe377200eba354495b0744f09
Various minor fixes and correction in user manual and monitor command help

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@16466
docs/xml/manual-core-adv.xml
gdbserver_tests/mssnapshot.stderrB.exp
helgrind/docs/hg-manual.xml
helgrind/hg_main.c
massif/docs/ms-manual.xml
massif/ms_main.c
memcheck/docs/mc-manual.xml