tree 590ace5d8248d7051aa184605b60ae987f515683
parent daf77af1b21c33301f03d83b2c6d3a5027629247
author sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> 1121782736 +0000
committer sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> 1121782736 +0000

New command line option: --xml-user-comment=XMLTEXT, which allows
copying of arbitrary bits of XML text to the XML output.


git-svn-id: svn://svn.valgrind.org/valgrind/trunk@4186 a5019735-40e9-0310-863c-91ae7b9d1cf9