#
# Leo, 10.03.2008

User-agent: *
Disallow: /index.html
Disallow: /wcet2008/myreview/

# eof