# HG changeset patch
# User Jim Hague <jim.hague@acm.org>
# Date 1361493180 0
# Node ID f2c8ca48b8a463e1bc394b8130e99a88e63feb50
# Parent  facceab0f700feaf948d11568a83cac41480f6b9
Add robots.txt instructing the site not to be indexed.

diff -r facceab0f700 -r f2c8ca48b8a4 web/robots.txt
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/web/robots.txt	Fri Feb 22 00:33:00 2013 +0000
@@ -0,0 +1,3 @@
+# Stop indexing of this site.
+User-agent: *
+Disallow: /