| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| type1/ | - | 2024-02-03 12:29:09 UTC+09:00 |
| tfm/ | - | 2024-02-03 12:29:09 UTC+09:00 |
| texinput/ | - | 2024-02-03 12:29:09 UTC+09:00 |
| mfinput/ | - | 2024-02-03 12:29:09 UTC+09:00 |
| map/ | - | 2024-02-03 12:29:09 UTC+09:00 |
| doc/ | - | 2024-02-03 12:29:09 UTC+09:00 |