| File Name ↓ | File Size ↓ | Date ↓ | |
|---|---|---|---|
| Parent directory/ | - | - | |
| gfsdidot.sty | 13737 | 2023-Dec-13 21:10 | |
| lgrudidot.fd | 1134 | 2017-Dec-09 20:06 | |
| omludidot.fd | 289 | 2017-Dec-09 20:06 | |
| ot1udidot.fd | 1329 | 2017-Dec-17 19:54 | |
| t1udidot.fd | 1137 | 2017-Dec-09 20:06 | |
| ts1udidot.fd | 914 | 2017-Dec-28 05:45 | |
| uudidotnums.fd | 569 | 2017-Dec-09 20:06 | |