Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/mono/mono-tools.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'webdoc/robots.txt')
-rw-r--r--webdoc/robots.txt2
1 files changed, 2 insertions, 0 deletions
diff --git a/webdoc/robots.txt b/webdoc/robots.txt
new file mode 100644
index 00000000..9662fc46
--- /dev/null
+++ b/webdoc/robots.txt
@@ -0,0 +1,2 @@
+User-agent: *
+Disallow: /