#
# robots.txt for http://www.w3.org/
#
# $Id: robots.txt,v 1.50 2007/12/13 17:09:37 ted Exp $
#

# For use by search.w3.org
User-agent: *
Disallow: /