commit | 13976c80a7c6c915dc8c8703b820d743dbd2473d | [log] [tgz] |
---|---|---|
author | Jack Jansen <jack.jansen@cwi.nl> | Thu Jan 21 12:50:47 1999 +0000 |
committer | Jack Jansen <jack.jansen@cwi.nl> | Thu Jan 21 12:50:47 1999 +0000 |
tree | 337506ee039980fa44e124e6f7c6dcb440be727c | |
parent | 7d2f9d6e6c3fa6358d1bd6b4aef65fbdc30a6597 [diff] |
Updated for 1.5.2b1 (better late than never:-)