# robots.txt for http://www.petri.net/
# maintained by Alfred Petri <webmaster@petri.net>

User-agent: *
Disallow: /cgi-bin/  # no need to index scripts