# files required during runtime by the game engine, they are not C sources
setBadness("devel-file-in-non-devel-package",0)
