#
# robots.txt for http://www.wv.inf.tu-dresden.de/
#
User-agent: *
#
Disallow: /cgi-bin/
Disallow: /System/