From 400dd260cca42c8b82521af7ebdc9ef6e41a81bc Mon Sep 17 00:00:00 2001 From: Eric Traut Date: Mon, 6 Mar 2023 17:54:36 -0700 Subject: [PATCH] Another small tweak to docs sidebar. --- docs/_sidebar.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/_sidebar.md b/docs/_sidebar.md index 83eeee1d3..2b0fabc9a 100644 --- a/docs/_sidebar.md +++ b/docs/_sidebar.md @@ -30,7 +30,7 @@ - [Differences from Mypy](mypy-comparison.md) - [Commands](commands.md) -- Advanced Topics +- Development - [Building & Debugging](build-debug.md) - [Pyright Internals](internals.md)