Fri, 12 Mar 1999 23:56:56 +0100 | Claus Gittinger | added description & version id | file | diff | annotate |
Mon, 04 May 1998 19:41:29 +0200 | Claus Gittinger | *** empty log message *** | file | diff | annotate |
Thu, 15 Aug 1996 15:03:08 +0200 | Claus Gittinger | *** empty log message *** | file | diff | annotate |