#
# robots.txt for http://www.w3.org/
#
# $Id: robots.txt,v 1.22 2002/04/18 20:23:04 ted Exp $
#

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