#
# robots.txt for rootfiles.org
#

User-agent: SurveyBot
Disallow: /

User-agent: SurveyBot_IgnoreIP
Disallow: /

User-agent: *
Disallow: /cgi-bin/
Disallow: /pub