diff gis_gui/head.pt @ 106:c6cb615bf0cf

changable color for dots in map
author fknauft
date Tue, 01 Feb 2011 17:11:17 +0100
parents 19983d06abdb
children 3369c21b66e0
line wrap: on
line diff