Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - LICENSE.md 2024-09-04 10:43 1.1K README.md 2024-09-04 10:43 8.5K scrhack.dtx 2024-09-04 10:43 40K scrhack-2023-07-07.dtx 2024-09-04 10:43 73K scrhack.pdf 2024-09-04 10:43 294K scrhack-2023-07-07.pdf 2024-09-04 10:43 295K