| Wed, 21 May 1997 17:31:12 +0200 | wenzelm | fixed find cmd; | changeset | files |
| Wed, 21 May 1997 17:21:46 +0200 | wenzelm | set version; | changeset | files |
| Wed, 21 May 1997 17:13:00 +0200 | wenzelm | tuned all READMEs; | changeset | files |
| Wed, 21 May 1997 17:11:46 +0200 | wenzelm | release version (sort of); | changeset | files |