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

../
fontinst.dtx                                       07-Jul-1998 11:04              151926
fontinst.dvi                                       07-Jul-1998 11:04              231888
fontinst.ins                                       07-Jul-1998 11:04                 307