2008-07-14minor change to remove gcc warning
insilmaril [Mon, 14 Jul 2008 09:16:48 +0000] rev 717
minor change to remove gcc warning

2008-07-11Fix for umlauts in paths
insilmaril [Fri, 11 Jul 2008 12:36:40 +0000] rev 716
Fix for umlauts in paths

2008-07-11Fix for umlauts in paths
insilmaril [Fri, 11 Jul 2008 12:36:39 +0000] rev 715
Fix for umlauts in paths