beremiz

IDManager : small cosmetic fixes and cleanup.

2018-11-23, Edouard Tisserant
2a70d5240300
IDManager : small cosmetic fixes and cleanup.
from __future__ import absolute_import
from svgui.pyjs.pyjs import *