Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - testidx.ins 2019-09-29 15:01 3.0K testidx.dtx 2019-09-29 15:01 386K testidx-manual.tex 2019-09-29 15:01 43K testidx-manual.pdf 2019-09-29 15:01 319K testidx-code.pdf 2019-09-29 15:01 472K samples/ 2019-09-29 14:30 - README 2019-09-29 15:01 759 CHANGES 2019-09-29 15:01 508