svgui/pyjs/jsonrpc/__init__.py
author Andrey Skvortsov <andrej.skvortzov@gmail.com>
Tue, 28 Aug 2018 18:06:30 +0300
changeset 2300 f19788028d99
parent 1869 49cdd843c006
permissions -rw-r--r--
Remove executable bit from source files where it's not needed.
# module jsonrpc