diff gis_gui/home.pt @ 103:06309d0702de

changable color for dots in map
author fknauft
date Tue, 01 Feb 2011 16:46:05 +0100
parents 2bc79c0fba3c
children 0a1dee507612
line wrap: on
line diff