util/__init__.py
author Edouard Tisserant
Wed, 14 Nov 2018 11:32:08 +0100
changeset 2334 d1470c052662
parent 742 41a4a560406c
permissions -rw-r--r--
Added early implementation of IDManager.py. For now only used to select ID in URIEditor