diff gis_gui/blocks/map.js @ 103:06309d0702de

changable color for dots in map
author fknauft
date Tue, 01 Feb 2011 16:46:05 +0100
parents 825a92d0ab10
children 3dc6be23494c
line wrap: on
line diff