| Name | Size | Date | MIME Type |
|---|---|---|---|
| ../ | - | Dec 22, 2023 00:45:44 | Directory |
| defs.all | 7.05 KB | Mar 05, 1993 20:48:06 | application/octet-stream |
| install.awk | 0.16 KB | Mar 05, 1993 20:48:08 | application/octet-stream |
| machines | 0.28 KB | Mar 05, 1993 20:48:08 | application/octet-stream |
| makefile.proto | 0.41 KB | Mar 05, 1993 20:48:08 | application/octet-stream |
| right.html | 2.88 KB | Oct 03, 2020 14:12:46 | text/html |