K 10 svn:author V 5 joerg K 8 svn:date V 27 2003-12-09T21:33:03.000000Z K 7 svn:log V 183 Clean up historical baggage, and move the old local distfiles that used to live under ${MASTER_SITE_LOCAL}/asami/LOCAL_PORTS to my own public_distfiles. No version changes involved. END