From f391c398bf1ef78fb553ef6f0874ecd42734b165 Mon Sep 17 00:00:00 2001
From: Practicalli Engineering <engineering@practical.li>
Date: Wed, 18 Sep 2024 22:14:05 +0100
Subject: [PATCH] mkdocs: correct terminal-tools file name

---
 docs/install/{terminal.md => terminal-tools.md} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename docs/install/{terminal.md => terminal-tools.md} (100%)

diff --git a/docs/install/terminal.md b/docs/install/terminal-tools.md
similarity index 100%
rename from docs/install/terminal.md
rename to docs/install/terminal-tools.md