mkdocs: correct terminal-tools file name

practicalli · Sep 18, 2024 · f391c39 · f391c39
1 parent da5a8d4
commit f391c39
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/docs/install/terminal.md → docs/install/terminal-tools.md b/docs/install/terminal.md → docs/install/terminal-tools.md