diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2008-08-22 14:32:29 +0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2008-08-22 14:32:29 +0000 |
| commit | cc826dc03e738c1d6c6fd6de0dfd9600f6289b72 (patch) | |
| tree | 552ddec98db9153d1792834ff982685df34cf6de /src | |
| parent | 51e2dda58c4aa08c4833bdab6b0bb0fad8e1c595 (diff) | |
* Simplify the Valgrind suppressions using wildcards.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions