beremiz

beremiz/svgui/pyjs/jsonrpc/web2py/
merged Andrey's default

2018-08-08, Edouard Tisserant
53f3eb5c47f7