✨ Move docker page to manage pages

2023-08-11 22:13:14 +02:00
parent 9ae2dc3037
commit caf74f9962
4 changed files with 76 additions and 16 deletions
@@ -21,6 +21,12 @@
                "discord": "Community Discord",
                "contribute": "Contribute"
            }
+        },
+        "tools": {
+            "title": "Tools",
+            "items": {
+                "docker": "Docker"
+            }
        }
    }
 }