Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - dicts/ 2022-02-05 09:08 - README 2022-02-05 09:08 1.7K translations-manual.tex 2022-02-05 09:08 35K translations.sty 2022-02-05 09:08 43K translations-manual.pdf 2022-02-05 09:08 503K