commit | 945b7b8eaf7729d987fac0d79a0641553f2a2bcb | [log] [tgz] |
---|---|---|
author | Jack Jansen <jack.jansen@cwi.nl> | Mon Oct 23 13:52:52 1995 +0000 |
committer | Jack Jansen <jack.jansen@cwi.nl> | Mon Oct 23 13:52:52 1995 +0000 |
tree | 22933d6231d684523af80a1810e570217e762f6c | |
parent | 8968624574430f8f1596afd4fee2f6c7d802d98c [diff] |
comment fix