| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| omludidot.fd | 289 B | 2017-12-09 11:06 |
| lgrudidot.fd | 1.1 KiB | 2017-12-09 11:06 |
| uudidotnums.fd | 569 B | 2017-12-09 11:06 |
| t1udidot.fd | 1.1 KiB | 2017-12-09 11:06 |
| ot1udidot.fd | 1.3 KiB | 2017-12-17 10:54 |
| ts1udidot.fd | 914 B | 2017-12-27 20:45 |
| gfsdidot.sty | 13.4 KiB | 2023-12-13 12:10 |