From 491950333f09ed4dc2833492b2509f7cd4f6e5b5 Mon Sep 17 00:00:00 2001 From: a5chin Date: Sun, 29 Dec 2024 16:12:31 +0000 Subject: [PATCH] fix: rename section from 'Using tools' to 'tools' in mkdocs.yml --- mkdocs.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/mkdocs.yml b/mkdocs.yml index b663626..e37dcd9 100644 --- a/mkdocs.yml +++ b/mkdocs.yml @@ -57,7 +57,7 @@ nav: - Pyright: guides/pyright.md - pre-commit: guides/pre-commit.md - Test: guides/test.md - - Using tools: + - tools: - guides/tools/index.md - config: guides/tools/config.md - logger: guides/tools/logger.md