Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - crop.pdf 2020-06-05 15:14 320K crop.ins 2020-06-05 15:14 260 crop.dtx 2020-06-05 15:14 66K README 2020-06-05 15:14 925 Makefile 2020-06-05 15:14 607