prboom-plus/.gitignore