beremiz

beremiz/svgui/pyjs/jsonrpc/web2py/
merge
svghmi
2020-05-14, Edouard Tisserant
7349063b19d8