beremiz

beremiz/svgui/pyjs/jsonrpc/
Merge from default
svghmi
2020-07-03, Edouard Tisserant
a4bae7edca13