K 10 svn:author V 7 linimon K 8 svn:date V 27 2008-12-14T20:19:46.000000Z K 7 svn:log V 82 Delete duplicated category 'editors'; it is picked up by the masterport Makefile. END