K 10
svn:author
V 4
jhay
K 8
svn:date
V 27
1998-09-15T13:15:18.000000Z
K 7
svn:log
V 83
Comment out NODOC and NOPORTS again. It got uncommented by mistake a few
days ago.

END