| Tue, 15 Oct 2002 10:42:09 +0200 | penk | change modified to modificationTime | file | diff | annotate |
| Thu, 27 Jul 2000 17:26:05 +0200 | Claus Gittinger | checkin from browser | file | diff | annotate |
| Fri, 11 Feb 2000 14:14:24 +0100 | Claus Gittinger | *** empty log message *** | file | diff | annotate |
| Thu, 24 Sep 1998 12:51:34 +0200 | Claus Gittinger | fixed filter for caseless fileSystems (win32) | file | diff | annotate |
| Sat, 12 Sep 1998 18:11:24 +0200 | Claus Gittinger | fixed file filter (must use selected filter; not all filters) | file | diff | annotate |
| Fri, 04 Sep 1998 13:31:11 +0200 | Claus Gittinger | tuned #readDirectory | file | diff | annotate |
| Mon, 29 Jun 1998 15:51:55 +0200 | tz | checkin from browser | file | diff | annotate |