K 10
svn:author
V 6
marino
K 8
svn:date
V 27
2016-03-24T21:33:36.301933Z
K 7
svn:log
V 207
redundant-opt-files script: Fix deleted port output

The last change was flawed; for deleted ports it was writing out the
origin, but it should be writing out the appropriate ports cache
database directory.

END