diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2008-03-01T21·05+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2008-03-01T21·05+0000 |
| commit | f789ea1d098c2755e97f7ee6ebc418f71e5f56f6 (patch) | |
| tree | 3cfbc2ff11d28fe54d990ef9663ebace04b25a64 /aterm-gc.supp | |
| parent | d7caac3e811c0c9b284c8bbbdf5bc1dd5badd040 (diff) | |
* A transaction is unnecessary since the path cannot be
garbage-collected (it's a temporary root).
Diffstat (limited to 'aterm-gc.supp')
0 files changed, 0 insertions, 0 deletions