Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - README.md 2017-07-19 23:09 1.1K draftfigure.pdf 2017-07-19 22:48 174K draftfigure.sty 2017-07-19 22:47 3.8K draftfigure.tex 2017-07-19 22:47 12K