K 10 svn:author V 2 rm K 8 svn:date V 27 2011-12-26T09:58:31.000000Z K 7 svn:log V 101 Remove bad-named port (with .core in it's name) Spotted by: linimon Approved by: miwi (mentor) END