Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - doc/ 2022-09-28 15:57 - latex/ 2022-09-28 05:41 - README 2022-09-28 05:40 1.6K type1/ 2022-02-17 22:20 - truetype/ 2022-02-17 22:20 - vf/ 2022-02-17 22:19 - tfm/ 2022-02-17 22:18 - map/ 2022-02-17 22:18 - enc/ 2022-02-17 22:17 -