mirror of
https://github.com/davidhalter/jedi.git
synced 2026-02-03 00:32:43 +08:00
Document jedi.replstartup usage
This commit is contained in:
@@ -22,6 +22,7 @@ Docs
|
||||
|
||||
docs/installation
|
||||
docs/features
|
||||
docs/repl
|
||||
docs/recipes
|
||||
docs/plugin-api
|
||||
docs/history
|
||||
|
||||
Reference in New Issue
Block a user