| 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 | 12488 | 1989-Jul-17 09:00 | |
| filelist | 762 | 1990-Oct-08 09:00 | |
| history | 336 | 1990-Oct-08 09:00 | |
| readme | 1614 | 1990-Sep-25 09:00 | |