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

	Name	Last modified	Size
	Parent Directory		-
	fontinst.dtx	1998-07-07 05:04	148K
	fontinst.dvi	1998-07-07 05:04	226K
	fontinst.ins	1998-07-07 05:04	307