beremiz

beremiz/svgui/pyjs/jsonrpc/web2py/
SVGHMI: Fix bug introduced when merging default
svghmi
2020-06-18, Edouard Tisserant
8c42504b6384