diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2008-06-13T17·21+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2008-06-13T17·21+0000 |
| commit | 30c9f909b24d64d8fabc2bb450e03744cc69c9a0 (patch) | |
| tree | a62f98931b8766fe65e802cf47b3b06ed877663e /aterm-gc.supp | |
| parent | 194c66eeebdd6920716c82eeb259083d7bbd84c5 (diff) | |
* Print some progress info during the early GC stages.
Diffstat (limited to 'aterm-gc.supp')
0 files changed, 0 insertions, 0 deletions