commit | 9cf00dd5510cb433d4bc3fd941127c6675f5558d | [log] [tgz] |
---|---|---|
author | Jack Jansen <jack.jansen@cwi.nl> | Mon Dec 31 15:02:56 2001 +0000 |
committer | Jack Jansen <jack.jansen@cwi.nl> | Mon Dec 31 15:02:56 2001 +0000 |
tree | 75b8927edd8b999a768e087f6dbaf52df22ba039 | |
parent | ad8381a8f008ed104c84cd59a14f4161083d60da [diff] |
Updated to optionally use Carbon Scrap manager.