beremiz

SVGHMI: relative pages and page jumps
svghmi
2020-03-13, Edouard Tisserant
634b43d69897
SVGHMI: relative pages and page jumps
from __future__ import absolute_import
from svgui.pyjs.pyjs import *