Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - standardsectioning.pdf 2024-06-06 10:03 226K standardsectioning.dtx 2024-06-06 10:03 33K README.md 2024-06-06 10:03 6.8K LICENSE.md 2024-06-06 10:03 1.1K