beremiz

beremiz/tests/traffic_lights/svgui-0@svgui/
merged Andrey's default

2018-08-08, Edouard Tisserant
53f3eb5c47f7