#
# robots.txt for http://www.w3.org/
#
# For use by any robot
User-agent: *