Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - README.md 2023-12-20 09:23 1.0K decimalcomma.dtx 2023-12-30 22:43 9.4K decimalcomma.ins 2023-12-06 17:58 1.9K decimalcomma.pdf 2023-12-30 22:44 100K