beremiz

SVGHMI: re-indent generated JS
svghmi
2020-03-03, Edouard Tisserant
8d15c6238e62
SVGHMI: re-indent generated JS
from __future__ import absolute_import
from svgui.pyjs.pyjs import *