Index of /pub/texlive/historic/fonts/utilities/fontinst/fontinst-1.801/source
Name
Last modified
Size
Parent Directory
-
fontinst.dvi
1998-07-07 05:04
226K
fontinst.dtx
1998-07-07 05:04
148K
fontinst.ins
1998-07-07 05:04
307