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