Wed, 14 Nov 2018 14:09:18 +0100 | Edouard Tisserant | IDManager.py : finished selector mode. | changeset | files |
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 | changeset | files |