svghmi/i18n.py
changeset 3993 78f9abfb32a0
parent 3919 0ce4b50d1182