commit | abc2db7b68d3ebd69b4b991e26e3568a1b50f87a | [log] [tgz] |
---|---|---|
author | Jack Jansen <jack.jansen@cwi.nl> | Sat Nov 09 18:48:49 1996 +0000 |
committer | Jack Jansen <jack.jansen@cwi.nl> | Sat Nov 09 18:48:49 1996 +0000 |
tree | 7d602df43fe2021b1084a63811dcff024571a805 | |
parent | 6c11f7444c79f16fff47dd56c5e1c8e9ec7f0624 [diff] |
Updated (which should have been done before the 1.4 distribution).