Skip to content

Commit

Permalink
Update robot.txt
Browse files Browse the repository at this point in the history
  • Loading branch information
jksan33 committed Oct 11, 2016
1 parent b7e71ff commit 2c32a59
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions robots.txt
@@ -1,6 +1,6 @@
#
# This file is used to prevent web robots from flooding
# the this web server. This file should be named
# the web server. This file should be named
# "/robots.txt" and should appear in the root web directory.
#
# For more info, see
Expand All @@ -18,7 +18,7 @@ Disallow: /cgi-bin/
Disallow: /lxr/
Disallow: /mirrors/

# Don't let the docs for old versions show up in google anymore
# Don't let the docs for old versions show up in Google anymore
Disallow: /docs/v1.6/
Disallow: /docs/v1.8/
Disallow: /docs/v2.0/
Expand Down

0 comments on commit 2c32a59

Please sign in to comment.