Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - fontinst.ini 2009-08-22 22:04 3.2K bbox.sty 2009-08-22 22:04 3.6K multislot.sty 2009-08-22 22:04 7.0K finstmsc.sty 2009-08-22 22:04 40K fontinst.sty 2009-08-22 22:04 101K cfntinst.sty 2009-08-22 22:04 101K xfntinst.sty 2009-08-22 22:04 104K