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