# robots.txt for http://ls6-www.cs.uni-dortmund.de/

User-agent: *
Disallow: /internal/