Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at ftp.fau.de Port 443
Parent Directory - webfonts 2009-10-18 19:55 42 tripmanfonts 2008-08-23 11:25 55 tripfonts 2008-08-23 11:25 55 texwebfonts 2014-06-29 16:07 68 plainfonts 2014-06-29 16:07 1.2K mfwebfonts 2014-06-29 16:04 100 manfonts 2014-06-29 16:04 247 local.mf 2008-08-16 08:41 1.1K ibyfonts 2008-08-12 23:57 263 iby/ 2010-03-16 10:53 - dvipsmanfonts 2008-08-29 23:19 1.9K