diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-10-26T23·06+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-10-26T23·06+0000 |
| commit | 99b0ea7c67e9e545bdf8b8bb050ce63dc9440e95 (patch) | |
| tree | 836bddaf2295c85f7edef4aa77da54a88948c901 /aterm-gc.supp | |
| parent | dd300fb48dd2048d056a5f25dda7d4c1f5515d46 (diff) | |
* Typo reported by Arie Middelkoop.
* Left out close-quote in example.
Diffstat (limited to 'aterm-gc.supp')
0 files changed, 0 insertions, 0 deletions