beremiz

beremiz/svgui/pyjs/jsonrpc/web2py/
merge
svghmi
2021-06-10, Edouard Tisserant
07f10dc95d2f