From 467715dcb3ee23e05e8fe445d9e2a2416a26a8e0 Mon Sep 17 00:00:00 2001
From: LMBishop <13875753+LMBishop@users.noreply.github.com>
Date: Wed, 5 Jul 2023 20:54:36 +0100
Subject: Migrate docs to GitHub pages

---
 docs/tools/index.md | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 docs/tools/index.md

(limited to 'docs/tools/index.md')

diff --git a/docs/tools/index.md b/docs/tools/index.md
new file mode 100644
index 00000000..83c7f894
--- /dev/null
+++ b/docs/tools/index.md
@@ -0,0 +1,7 @@
+---
+title: Tools
+has_children: true
+nav_order: 7
+---
+
+# Tools
\ No newline at end of file
-- 
cgit v1.2.3-70-g09d2