# Soon, the new site (mmmaybe.gimp.org) will replace this one.  The
# name of this site will then be changed to classic.gimp.org.
#
# Robots should not index classic.gimp.org.  Its pages should
# gradually disappear from search engines, so that all searches lead
# to the correct pages on the new www.gimp.org.  After a while,
# classic.gimp.org will be shut down.

User-agent: *
Disallow: /