# robots.txt fuer www.mi.informatik.uni-frankfurt.de
# Zugriff auf alle Dateien erlauben
User-agent: *
Disallow: /minet/