Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - doc/ 2024-02-03 19:29 - map/ 2024-02-03 19:29 - mfinput/ 2024-02-03 19:29 - texinput/ 2024-02-03 19:29 - tfm/ 2024-02-03 19:29 - type1/ 2024-02-03 19:29 - README.md 2024-02-03 18:51 599