commit | 768db0eac5cd57ab3245f49b0e54fa51b63bc09f | [log] [tgz] |
---|---|---|
author | sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Tue Jul 19 14:18:56 2005 +0000 |
committer | sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Tue Jul 19 14:18:56 2005 +0000 |
tree | 590ace5d8248d7051aa184605b60ae987f515683 | |
parent | daf77af1b21c33301f03d83b2c6d3a5027629247 [diff] |
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