mirror of
https://github.com/davidhalter/jedi.git
synced 2025-12-08 06:44:46 +08:00
remove deleted docs entries from index
This commit is contained in:
@@ -23,12 +23,9 @@ Docs
|
|||||||
docs/usage
|
docs/usage
|
||||||
docs/installation
|
docs/installation
|
||||||
docs/features
|
docs/features
|
||||||
docs/repl
|
|
||||||
docs/recipes
|
|
||||||
docs/plugin-api
|
docs/plugin-api
|
||||||
docs/plugin-api-classes
|
docs/plugin-api-classes
|
||||||
docs/settings
|
docs/settings
|
||||||
docs/history
|
|
||||||
docs/development
|
docs/development
|
||||||
docs/testing
|
docs/testing
|
||||||
|
|
||||||
|
|||||||
Reference in New Issue
Block a user