tests/traffic_lights/svgui-0@svgui/gui.svg
changeset 2274 5cb9ef5351cc
parent 1383 45935812f930