mirror of
https://github.com/davidhalter/jedi.git
synced 2026-10-20 20:37:06 +08:00
Make a few modifications to always use the latest environment available.
This commit is contained in:
1 parent
6b75519145
commit
af956d70a3
2 files changed
+17
-5
No files matched your search
+2
-1
@@ -41,5 +41,6 @@ __version__ = '0.12.0'
|
||||
from jedi.api import Script, Interpreter, set_debug_function, \
|
||||
preload_module, names
|
||||
from jedi import settings
|
||||
from jedi.api.environment import find_virtualenvs, find_python_environments
|
||||
from jedi.api.environment import find_virtualenvs, find_python_environments, \
|
||||
get_default_environment, InvalidPythonEnvironment
|
||||
from jedi.api.exceptions import InternalError
|
||||
Reference in new issue
Block a user