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