Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - tex/ 2007-07-04 15:23 - src/ 2007-07-04 15:23 - README 2007-04-20 17:48 2.2K COPYING 2007-04-20 16:35 19K MANIFEST 2007-04-20 16:31 1.9K vf/ 2003-08-10 18:13 - tfm/ 2003-08-10 18:13 -