Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - README.md 2019-10-07 16:18 863 gindex.ist 2019-10-07 16:18 1.2K gindex.pdf 2019-10-07 16:18 30K gindex.sty 2019-10-07 16:18 3.0K gindex.tex 2019-10-07 16:18 7.2K gindexh.ist 2019-10-07 16:18 1.3K