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