beremiz

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