../ dicts/ 05-Feb-2022 13:38 - README 05-Feb-2022 13:38 1741 translations-manual.pdf 05-Feb-2022 13:38 503K translations-manual.tex 05-Feb-2022 13:38 35K translations.sty 05-Feb-2022 13:38 43K