commit | a37b57cc724654fd5d8b8b4f718c469f14f6a775 | [log] [tgz] |
---|---|---|
author | florian <florian@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Sat Oct 27 17:46:44 2012 +0000 |
committer | florian <florian@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Sat Oct 27 17:46:44 2012 +0000 |
tree | 247e249170f5e18a6d5eb08213bdbeab473be044 | |
parent | 0c8a17604018b91ac4e9eb5cfcc63906895c7bb7 [diff] |
Update list of ignore files. This time with the correct name. git-svn-id: svn://svn.valgrind.org/valgrind/trunk@13087 a5019735-40e9-0310-863c-91ae7b9d1cf9