| Name | Last Modified | Size | Type |
|---|---|---|---|
| ../ | - | Directory | |
| industri-1.01-exec-stack.patch | 2015-Aug-09 06:08:18 | 0.6K | text/x-diff; charset=utf-8 |
| industri-1.01-glext.patch | 2015-Aug-09 06:08:18 | 0.9K | text/x-diff; charset=utf-8 |
| industri-1.01-ldflags.patch | 2015-Aug-09 06:08:18 | 0.8K | text/x-diff; charset=utf-8 |
| industri.pretty | 2015-Aug-09 06:08:18 | 0.1K | application/octet-stream |