K 10
svn:author
V 5
joerg
K 8
svn:date
V 27
1994-10-14T16:03:33.000000Z
K 7
svn:log
V 104
#include'ing mysterious stuff from ${DESTDIR}/sys/<somewhere> is no longer
necessary.
Requested by: phk

END