| Name | Last Modified | Size | Type |
|---|---|---|---|
| ../ | - | Directory | |
| industri-1.01-exec-stack.patch | 2021-Apr-04 09:39:05 | 0.6K | text/x-diff;charset=utf-8 |
| industri-1.01-glext.patch | 2021-Apr-04 09:39:05 | 0.9K | text/x-diff;charset=utf-8 |
| industri-1.01-ldflags.patch | 2021-Apr-04 09:39:05 | 0.7K | text/x-diff;charset=utf-8 |
| industri.pretty | 2015-Aug-09 02:38:18 | 0.1K | application/octet-stream |