K 10 svn:author V 5 joerg K 8 svn:date V 27 1995-04-01T11:43:09.000000Z K 7 svn:log V 78 Fix the Ignore wrong indent value: ``'' bug, as reported by Chris Kukulies. END