Index of /pub/tex-archive/fonts/inriafonts/map

	Name	Last modified	Size	Description

	Parent Directory		-
	InriaSans.map	2018-02-07 13:01	22K
	InriaSerif.map	2018-02-07 13:08	22K

Apache Server at ftp.no.gpg4win.org Port 80