diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-12-01T18·00+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-12-01T18·00+0000 |
| commit | b0d8e05be16e9887dbf3edcd6167c7f0b36dee5d (patch) | |
| tree | 528ed2045ab784848cc70d87c851387d087b6163 /aterm-gc.supp | |
| parent | 0565b5f2b35dc153dc98e1e3bd37476aa13ee4f1 (diff) | |
* More operations.
* addToStore() and friends: don't do a round-trip to the worker if we're only interested in the path (i.e., in read-only mode).
Diffstat (limited to 'aterm-gc.supp')
0 files changed, 0 insertions, 0 deletions