Miodrag Milanovic 3e95c57317 Add SVG option to gui		2020-02-27 09:37:09 +01:00
..
bel.png	…
camera.png	…
control_pause.png	…
control_play.png	…
control_stop.png	…
cross.png	…
exit.png	…
film.png	…
group.png	…
new.png	…
open.png	…
open_json.png	…
pack.png	…
pip.png	…
place.png	…
py.png	…
resultset_first.png	…
resultset_last.png	…
resultset_next.png	…
resultset_previous.png	…
route.png	…
save.png	…
save_json.png	…
save_svg.png	Add SVG option to gui	2020-02-27 09:37:09 +01:00
shape_handles.png	…
shape_square.png	…
time_add.png	…
wire.png	…
zoom.png	…
zoom_in.png	…
zoom_out.png	…