K 10 svn:author V 6 wblock K 8 svn:date V 27 2013-07-15T18:35:24.849058Z K 7 svn:log V 124 Removing a port also requires removing the directory. PR: docs/180579 Submitted by: Matthias Andree END