Index of /pub/texlive/Contents/live/texmf-dist/source/latex/microtype

	Name	Last modified	Size
	Parent Directory		-
	microtype-utf.dtx	2019-03-01 15:25	38K
	microtype.dtx	2019-03-01 15:25	632K
	microtype.ins	2018-01-15 15:21	6.1K