K 10
svn:author
V 7
wollman
K 8
svn:date
V 27
1994-11-20T23:16:51.000000Z
K 7
svn:log
V 31
Add DISTRIBUTION=krb for P-HK.

END