| commit | e674ca737dc65a14ef8b417d198727a744e8d84c | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Thu Oct 25 22:26:00 2001 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Thu Oct 25 22:26:00 2001 +0000 |
| tree | 8801b23028e3f30c7bfbb6c5b87cd95800616d12 | |
| parent | d970fe4022f9875f7153d13b1f215b3e95535b06 [diff] |
Added various tidbits.