Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - map/ 2018-06-24 07:46 - doc/ 2018-06-21 19:47 - latex/ 2018-06-15 08:09 - source/ 2018-06-15 08:09 - type1/ 2018-06-15 08:07 - tfm/ 2018-06-15 08:06 - opentype/ 2018-06-15 08:05 - enc/ 2018-06-15 08:04 - afm/ 2018-06-15 08:03 - README.txt 2018-06-15 07:59 372