beremiz

beremiz/svgui/pyjs/
SVGHMI: Fix bug introduced when merging default
svghmi
2020-06-18, Edouard Tisserant
8c42504b6384