Merge pull request #9108 from fricklerhandwerk/fix-redirect

remove duplicate redirects entry
This commit is contained in:
Valentin Gagarin 2023-10-07 00:06:33 +02:00 committed by GitHub
commit c167ffe1cf
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -336,7 +336,6 @@ const redirects = {
"simple-values": "#primitives", "simple-values": "#primitives",
"lists": "#list", "lists": "#list",
"strings": "#string", "strings": "#string",
"lists": "#list",
"attribute-sets": "#attribute-set", "attribute-sets": "#attribute-set",
}, },
"installation/installing-binary.html": { "installation/installing-binary.html": {