Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - german.ist 2023-05-15 18:47 90 CHANGES.md 2023-05-15 18:47 1.5K README.md 2023-05-15 18:47 1.7K sanitize-umlaut.doc.sty 2023-05-15 18:47 2.6K sanitize-umlaut.sty 2023-05-15 18:47 5.5K sanitize-umlaut.tex 2023-05-15 18:47 14K sanitize-umlaut.pdf 2023-05-15 18:47 409K