Index of /pub/ctan/fonts/inriafonts/map

Icon  Name                        Last modified      Size  Description
[PARENTDIR] Parent Directory - [   ] InriaSans.map 2018-02-07 12:01 22K [   ] InriaSerif.map 2018-02-07 12:08 22K
Apache/2.4.25 (Debian) Server at ftp.ist.utl.pt Port 80