7 files, 19 KiB
| Name | Modified (UTC) | Size |
|---|---|---|
| ../ | ||
| gfsdidot.sty | 2023-12-13 12:10 | 13 KiB |
| lgrudidot.fd | 2017-12-09 11:06 | 1.1 KiB |
| omludidot.fd | 2017-12-09 11:06 | 289 B |
| ot1udidot.fd | 2017-12-17 10:54 | 1.3 KiB |
| t1udidot.fd | 2017-12-09 11:06 | 1.1 KiB |
| ts1udidot.fd | 2017-12-27 20:45 | 914 B |
| uudidotnums.fd | 2017-12-09 11:06 | 569 B |