controls/IDManager.py
Wed, 14 Nov 2018 11:32:08 +0100 Edouard Tisserant Added early implementation of IDManager.py. For now only used to select ID in URIEditor