beremiz

SVGHMI: re-indenting
svghmi
2020-03-02, Edouard Tisserant
bb89a2fbb4e0
SVGHMI: re-indenting
from __future__ import absolute_import
from svgui.pyjs.pyjs import *