For now don't use the TypeshedPlugin until we fix all other issues with Jedi

2018-08-09 18:48:08 +02:00
parent d30af70351
commit 62842c8ac1
2 changed files with 6 additions and 1 deletions
--- a/jedi/plugins/init.py
+++ b/jedi/plugins/init.py
@@ -35,5 +35,5 @@ class _PluginCallbacks(object):
 plugin_manager = _PluginManager([
    StdlibPlugin,
    FlaskPlugin,
-    TypeshedPlugin,
+    #TypeshedPlugin,
 ])