remove duplicate redirects entry

tebowy · Oct 6, 2023 · 517c547 · 517c547
1 parent 61720d0
commit 517c547
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/doc/manual/redirects.js b/doc/manual/redirects.js
@@ -336,7 +336,6 @@ const redirects = {
     "simple-values": "#primitives",
     "lists": "#list",
     "strings": "#string",
-    "lists": "#list",
     "attribute-sets": "#attribute-set",
   },
   "installation/installing-binary.html": {