tests/traffic_lights/svgui-0@svgui/gui.svg
changeset 1677 db05cb9e0439
parent 1383 45935812f930