K 10 svn:author V 3 phk K 8 svn:date V 27 2005-03-15T12:39:30.000000Z K 7 svn:log V 166 Disable two users of findcdev. They do the wrong thing now and will need to be fixed. In both cases the API should be reengineered to do something (more) sensible. END