# 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: geo User-agent: * Disallow: /v/PM-petrograph/suche Disallow: /_search Disallow: /en/_search Disallow: /en/v/soga-r/_search Disallow: /en/v/soga-py/_search Sitemap: https://www.geo.fu-berlin.de/sitemap.xml