git: c186491c33 - main - remove duplicated entry

From: Wolfram Schneider <wosch_at_FreeBSD.org>
Date: Mon, 07 Aug 2023 13:47:20 UTC
The branch main has been updated by wosch:

URL: https://cgit.FreeBSD.org/doc/commit/?id=c186491c336c24630386803fcbbca0811056ace2

commit c186491c336c24630386803fcbbca0811056ace2
Author:     Wolfram Schneider <wosch@FreeBSD.org>
AuthorDate: 2023-08-07 13:47:08 +0000
Commit:     Wolfram Schneider <wosch@FreeBSD.org>
CommitDate: 2023-08-07 13:47:08 +0000

    remove duplicated entry
---
 documentation/themes/beastie/layouts/robots.txt | 1 -
 1 file changed, 1 deletion(-)

diff --git a/documentation/themes/beastie/layouts/robots.txt b/documentation/themes/beastie/layouts/robots.txt
index 1abda1687d..edd7c5252a 100644
--- a/documentation/themes/beastie/layouts/robots.txt
+++ b/documentation/themes/beastie/layouts/robots.txt
@@ -15,5 +15,4 @@ Disallow: /cgi/query-pr.cgi
 Disallow: /cgi/search.cgi
 Disallow: /cgi/url.cgi
 Disallow: /statistic
-Disallow: /statistic
 Disallow: /doc/