From 0aac85ff5c27e98564243a9f43ae58685bd18ff2 Mon Sep 17 00:00:00 2001
From: LMBishop <13875753+LMBishop@users.noreply.github.com>
Date: Thu, 6 Jul 2023 14:10:24 +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