| commit | 8a5d0d498061fb09e35be32518d04bfdb0ef57d8 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Tue Nov 14 10:34:04 1995 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Tue Nov 14 10:34:04 1995 +0000 |
| tree | 740bf7a85ab70444f5db2e1a80301d240fc116e8 | |
| parent | 06d163290975a03461ecd9f8a9b9a969154090db [diff] |
Updated for the CW7.5 release, and some minor tweaks that I don't remember.