svgui/pyjs/jsonrpc/__init__.py
author Edouard Tisserant
Thu, 19 Mar 2020 09:57:26 +0100
branchsvghmi
changeset 2887 30cea13267b4
parent 1869 49cdd843c006
permissions -rw-r--r--
SVGHMI: cosmetic changes
# module jsonrpc