K 10 svn:author V 3 phk K 8 svn:date V 27 1994-09-20T07:18:04.000000Z K 7 svn:log V 114 Applied patch to make -Wall and -Dlint shut up. Reviewed by: phk Submitted by: Josef Grosch END