Tighter editor layout with icons.
[redakcja.git] / src / documents / xml_tools.py
2020-03-22 Radek CzajkaRename catalogue to documents.