Index of /historic/fonts/utilities/fontinst/fontinst-1.800/source/

../
fontinst.dtx                                       29-Jun-1998 23:17              151928
fontinst.dvi                                       29-Jun-1998 23:17              231888
fontinst.ins                                       29-Jun-1998 23:17                 307