Name Last modified Size ![[PARENTDIR]](/icons/back.gif){kind=icon}
Parent Directory -
![[ ]](/icons/hand.right.gif){kind=icon}
README 2022-02-05 22:22 1.7K
![[ ]](/icons/layout.gif){kind=icon}
translations-manual.pdf 2022-02-05 22:22 503K
![[ ]](/icons/compressed.gif){kind=icon}
translations-manual.tex.gz 2022-02-05 22:22 8.2K