| 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 | file | diff | annotate |
| Thu, 08 Nov 2018 09:39:06 +0100 | Edouard Tisserant | URI editor : Rewrote most of it, cleaner. | file | diff | annotate | base |