K 10 svn:author V 6 johans K 8 svn:date V 27 2012-12-11T20:40:12.982979Z K 7 svn:log V 96 - Remove dead mirror site - PORTEXAMPLES can be set unconditionally [1] Reported by: danfe [1] END