# HG changeset patch
# User fknauft
# Date 1301647970 -7200
# Node ID 813ef52af064ffbf177baa735b92b8d1032797ee
# Parent  733f0561d9f8369855b70d17d0ebf823a1b34c52
implement Google Search

diff -r 733f0561d9f8 -r 813ef52af064 gis_gui/robots.txt
--- a/gis_gui/robots.txt	Fri Apr 01 10:52:37 2011 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,8 +0,0 @@
-User-agent: *
-Disallow: /
-
-User-agent: *
-Allow: /mappit/
-
-User-agent: Googlebot-Image
-Disallow: /mappit/