diff options
author | ThibG <thib@sitedethib.com> | 2019-02-16 13:43:23 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-02-16 13:43:23 +0100 |
commit | ab9082b3325dfd193d7130d6c880e85ab2781bc0 (patch) | |
tree | 7593823272a7b35bbb2ea41206349e107d31cd26 /public | |
parent | 2769b5446681898e8332cb505f499dac2a6e5717 (diff) | |
parent | 59fa38a4f6b9f19d674b3f9da97253b586814f94 (diff) |
Merge pull request #916 from ThibG/glitch-soc/merge-upstream
Merge upstream changes
Diffstat (limited to 'public')
-rw-r--r-- | public/robots.txt | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/public/robots.txt b/public/robots.txt index 3c9c7c01f..d93648bee 100644 --- a/public/robots.txt +++ b/public/robots.txt @@ -1,5 +1,4 @@ # See http://www.robotstxt.org/robotstxt.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: / + +User-agent: * +Disallow: /media_proxy/ |