K 10 svn:author V 5 joerg K 8 svn:date V 27 1998-07-23T13:03:54.000000Z K 7 svn:log V 140 Nobody seemed to be able to move the new distfile to ${MASTER_SITE_LOCAL}, so i've been placing it on an alternate FTP server instead. :-( END