# HG changeset patch
# User Jim Hague <jim.hague@acm.org>
# Date 1398695741 -3600
# Node ID b9a2da8c9203ef11ac7ea8e853e2d98c4fd85568
# Parent  d380c1407ed82c855d92ad17cc7741348b098f47
Uncloak website.

Remove robots.txt blocking spiders and add Google webmaster ID.

diff -r d380c1407ed8 -r b9a2da8c9203 web/google1d7dcec83488a6af.html
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/web/google1d7dcec83488a6af.html	Mon Apr 28 15:35:41 2014 +0100
@@ -0,0 +1,1 @@
+google-site-verification: google1d7dcec83488a6af.html
\ No newline at end of file
diff -r d380c1407ed8 -r b9a2da8c9203 web/robots.txt
--- a/web/robots.txt	Mon Apr 28 15:00:22 2014 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,3 +0,0 @@
-# Stop indexing of this site.
-User-agent: *
-Disallow: /