Apache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80Name Last modified Size Description
Parent Directory -
p0.tex 2008-11-11 18:13 16K
dotnot.tex 2008-11-10 09:15 7.2K
t1.tex 2008-11-11 18:13 2.2K
bsdlic.txt 2008-11-11 18:19 1.0K
README 2008-11-11 18:11 892