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