From 5c79b3ce79dabd66348d1caa82df482d41742857 Mon Sep 17 00:00:00 2001 From: Gabor Szarnyas Date: Thu, 26 Dec 2024 13:42:04 +0100 Subject: [PATCH] Arrange menu alphabetically --- _data/menu_docs_dev.json | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/_data/menu_docs_dev.json b/_data/menu_docs_dev.json index 920bdc14b68..54be41bb238 100644 --- a/_data/menu_docs_dev.json +++ b/_data/menu_docs_dev.json @@ -532,6 +532,10 @@ "page": "INSERT", "url": "insert" }, + { + "page": "LOAD / INSTALL", + "url": "load_and_install" + }, { "page": "PIVOT", "url": "pivot" @@ -575,10 +579,6 @@ { "page": "VACUUM", "url": "vacuum" - }, - { - "page": "LOAD / INSTALL", - "url": "load_and_install" } ] },