| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| docu/ | - | 1999-Oct-20 16:24 |
| dos/ | - | 2001-Jun-08 19:14 |
| src/ | - | 1999-Oct-20 16:24 |
| webtoc/ | - | 1999-Oct-20 16:24 |
| copying | 12.2 KiB | 1989-Jul-17 09:00 |
| filelist | 762 B | 1990-Oct-08 09:00 |
| history | 336 B | 1990-Oct-08 09:00 |
| readme | 1.6 KiB | 1990-Sep-25 09:00 |