Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - COPYING 2015-05-12 09:37 19K ChangeLog 2019-02-06 15:57 111 README.md 2019-02-06 19:09 757 globalvals.pdf 2019-02-06 19:13 155K globalvals.sty 2019-02-06 19:16 1.9K globalvals.tex 2019-02-06 15:57 2.6K