# 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: /
# site: jura
User-agent: *
Disallow: /_search
Disallow: /en/_search
Disallow: /ru/_search
Sitemap: https://www.jura.fu-berlin.de/sitemap.xml