Wed, 12 May 2010 13:54:49 +0200 | wenzelm | removed obsolete CVS Ids; | file | diff | annotate |
Tue, 07 Oct 2008 11:51:31 +0200 | wenzelm | updated to official version as of 07-Oct-2008; | file | diff | annotate |
Mon, 24 Mar 2008 15:59:56 +0100 | wenzelm | replaced obsolete /usr/proj by /home; | file | diff | annotate |