K 10 svn:author V 4 dirk K 8 svn:date V 27 2001-12-24T10:37:45.000000Z K 7 svn:log V 55 portlint: remove extra whitespaces before end of line. END