# robots.txt for http://alkokrunni.cs.Helsinki.FI/
# Modified by JJ: allow indexing, except in servlets and /disallow directory

User-agent: *
Disallow: /
#Disallow: /disallow/
#Disallow: /s/
#Disallow: /t/
#Disallow: /tomcat/