From 065cd478d44a937ca8c91b9aea2aefa4bf7a3ca5 Mon Sep 17 00:00:00 2001
From: Jim Hague <jim.hague@acm.org>
Date: Mon, 28 Apr 2014 15:35:41 +0100
Subject: [PATCH] Uncloak website.

Remove robots.txt blocking spiders and add Google webmaster ID.
---
 web/google1d7dcec83488a6af.html | 1 +
 web/robots.txt                  | 3 ---
 2 files changed, 1 insertion(+), 3 deletions(-)
 create mode 100644 web/google1d7dcec83488a6af.html
 delete mode 100644 web/robots.txt

diff --git a/web/google1d7dcec83488a6af.html b/web/google1d7dcec83488a6af.html
new file mode 100644
index 0000000..9ecb252
--- /dev/null
+++ b/web/google1d7dcec83488a6af.html
@@ -0,0 +1 @@
+google-site-verification: google1d7dcec83488a6af.html
\ No newline at end of file
diff --git a/web/robots.txt b/web/robots.txt
deleted file mode 100644
index f611bcb..0000000
--- a/web/robots.txt
+++ /dev/null
@@ -1,3 +0,0 @@
-# Stop indexing of this site.
-User-agent: *
-Disallow: /