diff -r 000000000000 -r 7f95f8617b0b web/robots.txt
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/web/robots.txt	Sat Sep 24 15:40:41 2011 +0200
@@ -0,0 +1,4 @@
+# www.robotstxt.org/
+# www.google.com/support/webmasters/bin/answer.py?hl=en&answer=156449
+
+User-agent: *