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