Revert "robots.txt: Bing bot spams gitweb...disable it hopefully."

Found another way.

This reverts commit 7500504bc055573bc50ae5b9349a3a92a4bc237d.

diff --git a/extra/websites/factorcode/robots.txt b/extra/websites/factorcode/robots.txt
deleted file mode 100644 (file)
index 0b27d65..0000000
--- a/extra/websites/factorcode/robots.txt
+++ /dev/null
@@ -1,2 +0,0 @@
-User-agent: *
-Disallow: http://gitweb.factorcode.org/*