# HG changeset patch # User fknauft # Date 1296059314 -3600 # Node ID a403a5dd5b12a7402be4c41e4a458b8c2d57cd33 # Parent 72091a5cd57ec5384a5d3011adbd222e22d0fc59# Parent 93c5bd5a0bb8598e931dda90c4199e154a15ba28 Merge with 93c5bd5a0bb8598e931dda90c4199e154a15ba28 diff -r 72091a5cd57e -r a403a5dd5b12 gis_gui/head.pt --- a/gis_gui/head.pt Wed Jan 26 17:25:35 2011 +0100 +++ b/gis_gui/head.pt Wed Jan 26 17:28:34 2011 +0100 @@ -1,4 +1,4 @@