util/__init__.py
author Edouard Tisserant
Wed, 21 Nov 2018 14:10:51 +0100
changeset 2340 decf52efb7f7
parent 742 41a4a560406c
permissions -rw-r--r--
IDManager: added import/export plus little cosmetic enhancements.