# HG changeset patch # User fknauft # Date 1297169598 -3600 # Node ID d859298ab2be18927645fa1c79be81a3dbca9d9e # Parent 476c123a8a36c8571445a84c61ea71c3488ee147 smaller point icons diff -r 476c123a8a36 -r d859298ab2be gis_gui/icons/dot_black3.png Binary file gis_gui/icons/dot_black3.png has changed