# www.mpi-inf.mpg.de robots.txt file
# Last updated by Uwe Brahm on April 18, 2008
User-agent: *
# robots should not invoke cgi-scripts on the server
Disallow: http://www.mpi-inf.mpg.de/cgi-bin/*
Disallow: /cgi-bin/*
# upon request:
Disallow: ~rybal/courses/prog-ws03/klausur1-plaetze.html
Disallow: ~rybal/courses/prog-ws03/klausur2-plaetze.html
Disallow: ~rybal/courses/prog-ws03/klausur3-plaetze.html
Disallow: ~rybal/courses/prog-ws03/news.html
Disallow: ~rybal/courses/prog-ws03/termine.html
Disallow: ~rybal/courses/prog-ws03/teilnehmer.html