jedi settings should have its own documentation page, #212

2026-08-12 10:14:36 +08:00 · 2013-08-31 18:04:07 +04:30
parent 4e9bb0c062
commit 9023d01dcb
4 changed files with 9 additions and 7 deletions
@@ -25,6 +25,7 @@ Docs
   docs/repl
   docs/recipes
   docs/plugin-api
+   docs/settings
   docs/history
   docs/development
   docs/testing