| File Name ↓ | File Size ↓ | Date ↓ | |
|---|---|---|---|
| Parent directory/ | - | - | |
| dicts/ | - | 2022-Feb-05 08:08 | |
| README | 1.7 KiB | 2022-Feb-05 08:08 | |
| translations-manual.pdf | 503.4 KiB | 2022-Feb-05 08:08 | |
| translations-manual.tex | 34.7 KiB | 2022-Feb-05 08:08 | |
| translations.sty | 43.2 KiB | 2022-Feb-05 08:08 | |