# /robots.txt
# For preventing web-crawling robots from indexing certain parts of our site
#
# This means that these rules apply for all types of robots
User-agent: *
#
# These rules apply to pages that are meaningless to external users
Disallow: /velma/
Disallow: /bandq/
Disallow: /arstuff/
Disallow: /stats/