changeset 471:b9a2da8c9203

Uncloak website. Remove robots.txt blocking spiders and add Google webmaster ID.
author Jim Hague <jim.hague@acm.org>
date Mon, 28 Apr 2014 15:35:41 +0100
parents d380c1407ed8
children 3c1be4306c18
files web/google1d7dcec83488a6af.html web/robots.txt
diffstat 2 files changed, 1 insertions(+), 3 deletions(-) [+]
line wrap: on
line diff
--- /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
--- 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: /