| File Name ↓ | File Size ↓ | Date ↓ | |
|---|---|---|---|
| Parent directory/ | - | - | |
| Images/ | - | 2026-Nov-06 23:55 | |
| CHANGELOG.md | 99560 | 2026-Nov-06 22:49 | |
| README.md | 1993 | 2026-Nov-06 22:49 | |
| ugentdocs.dtx | 459581 | 2026-Nov-06 22:49 | |
| ugentdocs.ins | 6760 | 2026-Nov-06 22:49 | |
| ugentdocs.pdf | 624150 | 2026-Nov-06 22:49 | |