Public Mirrors
![[ICO]](/icons/blank.gif){kind=icon} | Name | Last modified | Size |
|---|---|---|---|
![[PARENTDIR]](/icons/back.gif){kind=icon} | Parent Directory | - | |
![[ ]](/icons/unknown.gif){kind=icon} | fontdef.cfg | 1994-09-07 04:19 | 2.4K |
| language.dat | 1994-07-29 04:04 | 376 |
| lthyphen.babel | 1994-09-07 04:43 | 7.6K |
| lthyphen.latex | 1994-06-23 12:46 | 1.0K |
| texsys.cfg | 1994-09-07 04:17 | 44 |
Public Mirrors