# www.webwasher.de: robots.txt
#
# This file is used to allow crawlers to index our site, and keep them from getting stuck in infinite loops.
#
User-agent: *
Disallow: /include/*
Disallow: /download/*