Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - ildc.mm 2017-07-02 18:19 3.3K ildc.tex 2017-07-02 18:19 12K ism.mm 2017-07-02 18:19 2.4K ism.tex 2017-07-02 18:19 6.8K mm-usr.mm 2017-07-02 18:19 19K mm-usr.pdf 2017-07-02 18:19 505K mm-usr.tex 2017-07-02 18:19 26K