K 10 svn:author V 3 phk K 8 svn:date V 27 2000-10-29T09:47:50.000000Z K 7 svn:log V 71 Add a hook for doing #include magic (for src/tools/tools/kerninclude). END