Thu, 17 Apr 1997 14:41:26 +0200 | wenzelm | *** empty log message *** | changeset | files |
Thu, 17 Apr 1997 14:41:08 +0200 | wenzelm | added fixencoding note; | changeset | files |
Thu, 17 Apr 1997 10:40:26 +0200 | wenzelm | fixed ISAMODE_HOME; | changeset | files |