Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - LICENSE 2006-09-26 12:11 18K README 2006-09-26 12:11 205 delfin 2006-09-26 12:11 2.8K exteps.mp 2006-09-26 12:19 8.1K exteps.pdf 2006-09-26 12:20 175K exteps.tex 2010-08-04 11:11 13K