# This is a template not a devel file
addFilter("MyGUI-tools.*: E: devel-file-in-non-devel-package")