/games-fps/industri/files/

• ../
• industri-1.01-exec-stack.patch
• industri-1.01-glext.patch
• industri-1.01-ldflags.patch
• industri.pretty