git: 8520652438 - main - add forgotten 'FreeBSD Ports 12.3'
- Go to: [ bottom of page ] [ top of archives ] [ this month ]
Date: Tue, 22 Mar 2022 10:01:57 UTC
The branch main has been updated by wosch: URL: https://cgit.FreeBSD.org/doc/commit/?id=85206524383da157c1be60fd887a71b6592d7950 commit 85206524383da157c1be60fd887a71b6592d7950 Author: Wolfram Schneider <wosch@FreeBSD.org> AuthorDate: 2022-03-22 10:00:19 +0000 Commit: Wolfram Schneider <wosch@FreeBSD.org> CommitDate: 2022-03-22 10:00:19 +0000 add forgotten 'FreeBSD Ports 12.3' PR: 262686 Reported by: PauAmma --- website/content/en/cgi/man.cgi | 1 + 1 file changed, 1 insertion(+) diff --git a/website/content/en/cgi/man.cgi b/website/content/en/cgi/man.cgi index 64a68ed144..510bdde1f3 100755 --- a/website/content/en/cgi/man.cgi +++ b/website/content/en/cgi/man.cgi @@ -419,6 +419,7 @@ $manPathDefault = 'FreeBSD 13.0-RELEASE and Ports'; 'FreeBSD Ports 12.0', "$manLocalDir/FreeBSD-ports-12.0-RELEASE/man:$manLocalDir/FreeBSD-ports-12.0-RELEASE/misc", 'FreeBSD Ports 12.1', "$manLocalDir/FreeBSD-ports-12.1-RELEASE/man:$manLocalDir/FreeBSD-ports-12.1-RELEASE/misc", 'FreeBSD Ports 12.2', "$manLocalDir/FreeBSD-ports-12.2-RELEASE/man:$manLocalDir/FreeBSD-ports-12.2-RELEASE/misc", + 'FreeBSD Ports 12.3', "$manLocalDir/FreeBSD-ports-12.3-RELEASE/man:$manLocalDir/FreeBSD-ports-12.3-RELEASE/misc", 'FreeBSD Ports 13.0', "$manLocalDir/FreeBSD-ports-13.0-RELEASE/man:$manLocalDir/FreeBSD-ports-13.0-RELEASE/misc",