svgui/pyjs/jsonrpc/__init__.py
author Edouard Tisserant
Wed, 14 Feb 2018 14:48:40 +0100
changeset 1932 65d2dbbf7022
parent 1869 49cdd843c006
permissions -rw-r--r--
Better variable naming, and small optimization.
# module jsonrpc