Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - CHANGES 2015-08-02 03:30 257 README 2015-08-02 03:30 932 shapes.ins 2015-08-02 03:30 2.3K shapes.dtx 2015-08-02 03:30 13K lppl.txt 2015-08-02 03:30 19K shapes.pdf 2015-08-02 03:30 172K