tree 46eda3a569debba683aba19169de731f8e467ee1
parent 7e9ba9ec893f3f13c95c4ebc10fae4b3c0bb5b65
author florian <florian@a5019735-40e9-0310-863c-91ae7b9d1cf9> 1415993108 +0000
committer florian <florian@a5019735-40e9-0310-863c-91ae7b9d1cf9> 1415993108 +0000

Minor non-functional cleanups.


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