| Tue, 23 Apr 2019 11:01:35 +0200 | Edouard Tisserant | Added missing 'path' field to WAMP addresses in URI editor. | file | diff | annotate |
| Mon, 11 Mar 2019 13:51:07 +0100 | Edouard Tisserant | Long due merge | file | diff | annotate | base |
| Mon, 11 Mar 2019 01:03:32 +0100 | Edouard Tisserant | check_sources.sh makes me become even less productive | file | diff | annotate |
| 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 |