# HG changeset patch # User fknauft # Date 1297092184 -3600 # Node ID 7fc78740517986216f9e2b93d16e6a8df0502601 # Parent 8c22f5fb7b28495ae20418d4d232780035132072 smaller point icons diff -r 8c22f5fb7b28 -r 7fc787405179 gis_gui/icons/dot_black.png Binary file gis_gui/icons/dot_black.png has changed diff -r 8c22f5fb7b28 -r 7fc787405179 gis_gui/icons/dot_blue.png Binary file gis_gui/icons/dot_blue.png has changed diff -r 8c22f5fb7b28 -r 7fc787405179 gis_gui/icons/dot_green.png Binary file gis_gui/icons/dot_green.png has changed diff -r 8c22f5fb7b28 -r 7fc787405179 gis_gui/icons/dot_red.png Binary file gis_gui/icons/dot_red.png has changed diff -r 8c22f5fb7b28 -r 7fc787405179 gis_gui/icons/dot_violett.png Binary file gis_gui/icons/dot_violett.png has changed