Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - usage.log 1992-09-27 02:00 1.1K grlatex.1 1992-12-08 01:00 2.8K install.tex 1992-12-08 01:00 3.3K install.dvi 1992-09-27 02:00 3.9K usage.dvi 1992-09-27 02:00 20K usage.tex 1992-11-15 01:00 25K