beremiz

beremiz/tests/svgui/svgui@svgui/
SVGHMI : fixed bug happening when some SVG ids are containing dashes
svghmi
2020-01-30, Edouard Tisserant
e74123b966ac