Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - CHANGES 2000-07-17 13:19 656 doc/ 2000-07-17 11:20 - dvips/ 2010-03-01 22:03 - readme 2000-07-17 12:32 1.1K texinput/ 2000-07-17 11:20 - tfm/ 2000-07-17 11:20 - vf/ 2000-07-17 11:20 -