mirror of
git://sourceware.org/git/valgrind.git
synced 2026-01-12 00:19:31 +08:00
directory from the source tree. This resolves bug 83040. Based on patch from Ralf Wildenhues <Ralf.Wildenhues@gmx.de>. git-svn-id: svn://svn.valgrind.org/valgrind/trunk@2450