| Fri, 03 Dec 2010 20:38:58 +0100 | wenzelm | recoded latin1 as utf8; | file | diff | annotate |
| Mon, 09 Sep 2002 17:28:29 +0200 | nipkow | *** empty log message *** | file | diff | annotate |
| Tue, 13 Aug 2002 21:54:23 +0200 | nipkow | *** empty log message *** | file | diff | annotate |