commit | 34eccb11e71f37a59d1d78f004b0d9d5b717438b | [log] [tgz] |
---|---|---|
author | sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Sat Oct 05 16:49:09 2002 +0000 |
committer | sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Sat Oct 05 16:49:09 2002 +0000 |
tree | 0f406d1a31f27c7ea48ebfbe386ae51f39c9f674 | |
parent | 23f14c9549f55c3a1f6fac75ea6d536e97050c94 [diff] |
Make suppressions work again after I messed with skin names. Sigh. git-svn-id: svn://svn.valgrind.org/valgrind/trunk@1200 a5019735-40e9-0310-863c-91ae7b9d1cf9