Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - veracruz.pdf 2010-09-04 17:09 140K veracruz.tex 2010-09-04 17:09 5.4K INSTALL 2010-09-05 18:02 1.0K manifest.txt 2010-09-05 18:04 910 CHANGES 2010-09-05 18:01 120