Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - varsfromjobname.pdf 2017-05-01 19:21 179K varsfromjobname.tex 2017-05-01 19:21 3.7K README.md 2017-05-01 19:24 2.8K varsfromjobname.sty 2017-05-01 19:25 4.0K