File Name ↓ | File Size ↓ | Date ↓ |
---|---|---|
Parent directory/ | - | - |
gfsdidot.sty | 13.4 KiB | Dec 13, 2023 |
ts1udidot.fd | 914 B | Dec 27, 2017 |
ot1udidot.fd | 1.3 KiB | Dec 17, 2017 |
uudidotnums.fd | 569 B | Dec 9, 2017 |
lgrudidot.fd | 1.1 KiB | Dec 9, 2017 |
omludidot.fd | 289 B | Dec 9, 2017 |
t1udidot.fd | 1.1 KiB | Dec 9, 2017 |