# they are  not devel files, but plugins
addFilter ("E: devel-file-in-non-devel-package")
