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