../ dicts/ 18-Aug-2022 19:39 - README 18-Aug-2022 19:39 1741 translations-manual.pdf 18-Aug-2022 19:39 515442 translations-manual.tex 18-Aug-2022 19:39 35582 translations.sty 18-Aug-2022 19:39 44247