beremiz

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