| Name | Format | # Lines | Size | Date |
|---|---|---|---|---|
| FILE_ID.DIZ | Text File | 2 | 71b | 1987-07-17 |
| MINE.BAT | DOS Batch File | 171 | 5KB | 1994-07-09 |
| MINE.TXT | Text File | 5 | 224b | 1994-07-10 |
| UNMINE.BAT | DOS Batch File | 86 | 3KB | 1994-07-09 |
| Unknown | ||||
| Name | Format | Size | Date | |
|---|---|---|---|---|
| MINE.DEH | Unknown | 24KB | 1994-07-10 | |
| MINE.SWP | Unknown | 64KB | 1994-07-09 | |