# 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