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