# HG changeset patch
# User fknauft
# Date 1301409253 -7200
# Node ID 4081fb681230c5b527ca9742dfcba547b7e6f58f
# Parent  1ac5bcf3dad22a39892a6bcf0710bdec86877d6d
implement Google Search

diff -r 1ac5bcf3dad2 -r 4081fb681230 gis_gui/robots.txt
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/gis_gui/robots.txt	Tue Mar 29 16:34:13 2011 +0200
@@ -0,0 +1,8 @@
+User-agent: *
+Disallow: /
+
+User-agent: *
+Allow: /mappit/
+
+User-agent: Googlebot-Image
+Disallow: /mappit/