2019-04-23 |
Edouard Tisserant |
Added missing 'path' field to WAMP addresses in URI editor.
|
file |
diff |
annotate
|
2019-03-11 |
Edouard Tisserant |
Long due merge
|
file |
diff |
annotate
| base
|
2019-03-11 |
Edouard Tisserant |
check_sources.sh makes me become even less productive
|
file |
diff |
annotate
|
2018-11-14 |
Edouard Tisserant |
Added early implementation of IDManager.py. For now only used to select ID in URIEditor
|
file |
diff |
annotate
|
2018-11-08 |
Edouard Tisserant |
URI editor : Rewrote most of it, cleaner.
|
file |
diff |
annotate
| base
|