../ dicts/ 05-Feb-2022 15:08 - README 05-Feb-2022 15:08 1741 translations-manual.pdf 05-Feb-2022 15:08 515442 translations-manual.tex 05-Feb-2022 15:08 35582 translations.sty 05-Feb-2022 15:08 44247