K 10 svn:author V 3 phk K 8 svn:date V 27 2000-10-09T07:29:41.000000Z K 7 svn:log V 108 A couple of negative options was not commented out in NOTES/LINT. This obscured a #include bug in syscons. END