K 10 svn:author V 3 phk K 8 svn:date V 27 1999-03-11T15:12:28.000000Z K 7 svn:log V 114 Remove here as well. You will need to manually rip it from /usr/include if it gives you any trouble. END