Index of /ftp/pub/mirrors/ftp.dante.de/tex-archive/fonts/inriafonts/map

	Name	Last modified	Size	Description
	Parent Directory		-
	InriaSans.map	2018-02-07 14:01	22K
	InriaSerif.map	2018-02-07 14:08	22K