diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2008-06-18 09:34:17 +0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2008-06-18 09:34:17 +0000 |
| commit | a72709afd8ffe35613a6bacd698a36395e095a48 (patch) | |
| tree | 2f549bafbed92a53bd6faea1da43667307af7593 /externals | |
| parent | 934c58aa381f5eacc86304ba7f5c6775ff456cd5 (diff) | |
* Some refactoring: put the GC options / results in separate structs.
* The garbage collector now also prints the number of blocks freed.
Diffstat (limited to 'externals')
0 files changed, 0 insertions, 0 deletions