K 10
svn:author
V 5
jfitz
K 8
svn:date
V 27
1996-09-25T14:49:24.000000Z
K 7
svn:log
V 47
Fix for change of distfile name on master site

END