Index of /gentoo-repo/games-fps/industri/files/

../
industri-1.01-exec-stack.patch                     04-Apr-2021 07:38                 658
industri-1.01-glext.patch                          04-Apr-2021 07:38                 911
industri-1.01-ldflags.patch                        04-Apr-2021 07:38                 768
industri.pretty                                    25-Mar-2021 22:44                  42