![[ICO]](/theme/icons/blank.png){kind=icon} | Name | Last modified | Size |
|---|---|---|---|
![[PARENTDIR]](/theme/icons/folder-home.png){kind=icon} | Parent Directory | - | |
![[ ]](/theme/icons/default.png){kind=icon} | lgrudidot.fd | 2017-12-09 12:06 | 1.1K |
| omludidot.fd | 2017-12-09 12:06 | 289 |
| t1udidot.fd | 2017-12-09 12:06 | 1.1K |
| uudidotnums.fd | 2017-12-09 12:06 | 569 |
| ot1udidot.fd | 2017-12-17 11:54 | 1.3K |
| ts1udidot.fd | 2017-12-27 21:45 | 914 |
![[TXT]](/icons/text.gif){kind=icon} | gfsdidot.sty | 2023-12-13 13:10 | 13K |