more more reshuffling

2 years ago · 4b06add255
parent 21d8358761
commit 4b06add255
1 changed files with 0 additions and 3 deletions
--- a/website/data/docs-nav-data.json
+++ b/website/data/docs-nav-data.json
@ -1317,9 +1317,6 @@
      }
    ]
  },
-  {
-    "divider": true
-  },
  {
    "title": "Internals",
    "hidden": true,