[Gmp-commit] /var/hg/www: Disallow bots from old repos.

[mercurial at gmplib.org]

details:   /var/hg/www/rev/a1a2fb1bc20d
changeset: 135:a1a2fb1bc20d
user:      Torbjorn Granlund <tege at gmplib.org>
date:      Sat Dec 07 11:52:54 2013 +0100
description:
Disallow bots from old repos.

diffstat:

 robots.txt |  2 ++
 1 files changed, 2 insertions(+), 0 deletions(-)

diffs (9 lines):

diff -r 99d0fed20dbc -r a1a2fb1bc20d robots.txt
--- a/robots.txt	Sat Dec 07 02:29:48 2013 +0100
+++ b/robots.txt	Sat Dec 07 11:52:54 2013 +0100
@@ -16,3 +16,5 @@
 Disallow: /manual-5.1.0
 Disallow: /manual-5.1.1
 Disallow: /manual-5.1.2
+Disallow: /repo/gmp-4.3
+Disallow: /repo/gmp-5.0