From daa29f7a23efcbc6a35cf1588bfb317ef18e3f02 Mon Sep 17 00:00:00 2001 From: Glen Barber Date: Thu, 6 Jul 2017 08:38:49 +0000 Subject: [PATCH] Prune a duplicate entry for freebsd-stable11. Submitted by: wosch Sponsored by: The FreeBSD Foundation --- en_US.ISO8859-1/htdocs/cgi/man.cgi | 1 - 1 file changed, 1 deletion(-) diff --git a/en_US.ISO8859-1/htdocs/cgi/man.cgi b/en_US.ISO8859-1/htdocs/cgi/man.cgi index 6bd9390789..fb93d6355c 100755 --- a/en_US.ISO8859-1/htdocs/cgi/man.cgi +++ b/en_US.ISO8859-1/htdocs/cgi/man.cgi @@ -812,7 +812,6 @@ while ( ( $key, $val ) = each %manPath ) { 'freebsd-stable', 'FreeBSD 10.3-stable', 'freebsd-stable11', 'FreeBSD 11.1-stable', - 'freebsd-stable11', 'FreeBSD 11.0-stable', 'freebsd-stable10', 'FreeBSD 10.3-stable', 'freebsd-stable9', 'FreeBSD 9.3-stable', 'freebsd-stable8', 'FreeBSD 8.4-stable',