| Name | Size | Date | MIME Type |
|---|---|---|---|
| ../ | - | Dec 22, 2023 00:45:42 | Directory |
| defs.all | 6.83 KB | Oct 19, 1992 19:29:06 | application/octet-stream |
| install.awk | 0.16 KB | Oct 19, 1992 19:29:06 | application/octet-stream |
| machines | 0.27 KB | Oct 19, 1992 19:29:06 | application/octet-stream |
| makefile.proto | 0.41 KB | Oct 19, 1992 19:29:08 | application/octet-stream |
| right.html | 2.88 KB | Oct 03, 2020 14:12:44 | text/html |