beremiz

beremiz/svgui/pyjs/jsonrpc/
Merge default changes in SVGHMI
svghmi
2020-06-18, Edouard Tisserant
1627d552f181