K 10 svn:author V 6 marcel K 8 svn:date V 27 2003-04-04T02:12:56.000000Z K 7 svn:log V 57 Remove `#ifndef lint' left behind after previous change. END