diff options
| author | Job van der Voort <jobvandervoort@gmail.com> | 2015-04-21 17:21:51 +0300 |
|---|---|---|
| committer | Job van der Voort <jobvandervoort@gmail.com> | 2015-04-21 17:21:51 +0300 |
| commit | a8e93b7f51d968c1380ed210499869b62b07fd15 (patch) | |
| tree | c864e80dfd9cf4f83fcede678acc986e3a125bf5 /public/robots.txt | |
| parent | 0625b15a481b3a3edd88110b3c18031ad9068d2f (diff) | |
Version 7.10.0.rc5v7.10.0.rc5
Diffstat (limited to 'public/robots.txt')
| -rw-r--r-- | public/robots.txt | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/public/robots.txt b/public/robots.txt deleted file mode 100644 index 085187fa58b..00000000000 --- a/public/robots.txt +++ /dev/null @@ -1,5 +0,0 @@ -# See http://www.robotstxt.org/wc/norobots.html for documentation on how to use the robots.txt file -# -# To ban all spiders from the entire site uncomment the next two lines: -# User-Agent: * -# Disallow: / |