| commit | 59fcc5ae87639ccdc8eb3c6f5529e2cdc04e0cfd | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Sun Sep 24 21:08:22 1995 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Sun Sep 24 21:08:22 1995 +0000 |
| tree | 400b4a5d6a861e7ac70f6da3238448e6afd8c109 | |
| parent | bc12873e4b3ce8c3c786525146efb2b23f7bc29e [diff] |
Added some clarifications and fixed host names.