Index of /texlive/devsrc/Master/texmf-dist/fonts/map/dvips/inriafonts

	Name	Last modified	Size	Description
	Parent Directory		-
	InriaSans.map	2019-01-27 00:37	22K
	InriaSerif.map	2019-01-27 00:37	22K