about summary refs log tree commit diff
path: root/aterm-gc.supp
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2008-06-13T17·21+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2008-06-13T17·21+0000
commit30c9f909b24d64d8fabc2bb450e03744cc69c9a0 (patch)
treea62f98931b8766fe65e802cf47b3b06ed877663e /aterm-gc.supp
parent194c66eeebdd6920716c82eeb259083d7bbd84c5 (diff)
* Print some progress info during the early GC stages.
Diffstat (limited to 'aterm-gc.supp')
0 files changed, 0 insertions, 0 deletions