Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - LICENSE 2018-01-08 08:32 19K ChangeLog.md 2018-01-08 08:32 6.2K README 2018-01-08 08:32 1.6K THANKS 2018-01-08 08:32 844 special.map 2018-01-08 08:32 74 tex/ 2018-01-08 21:22 - test/ 2018-01-08 21:22 - mf/ 2018-01-08 21:22 - doc/ 2018-01-08 21:22 -