Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - README 2023-02-25 17:20 4.9K footnoterange.dtx 2023-02-25 17:15 43K footnoterange-example.pdf 2023-02-25 17:15 134K footnoterange.pdf 2023-02-25 17:15 328K