# robots.txt for ws.pangaea.de
# Disallows all robots from this page

User-Agent: *
Disallow: /