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

	Name	Last modified	Size
	Parent Directory		-
	fontinst.dtx	1998-06-29 17:17	148K
	fontinst.dvi	1998-06-29 17:17	226K
	fontinst.ins	1998-06-29 17:17	307