| Name | Size | Date | MIME Type |
|---|---|---|---|
| ../ | - | Dec 22, 2023 00:45:43 | Directory |
| defs.all | 7.05 KB | Jan 06, 1993 19:35:28 | application/octet-stream |
| install.awk | 0.16 KB | Oct 19, 1992 19:29:06 | application/octet-stream |
| machines | 0.28 KB | Dec 18, 1992 00:48:36 | 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 |