Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - README 2016-06-28 14:06 2.3K vf/ 2016-06-28 14:17 - type1/ 2016-06-28 14:16 - tfm/ 2016-06-28 14:15 - map/ 2016-06-28 14:15 - latex/ 2016-06-28 14:14 - enc/ 2016-06-28 14:13 - doc/ 2016-06-28 14:12 -