mirror of
https://github.com/davidhalter/jedi.git
synced 2026-05-25 01:38:36 +08:00
change release to 0.8.0-final0, #395
This commit is contained in:
+1
-1
@@ -34,7 +34,7 @@ As you see Jedi is pretty simple and allows you to concentrate on writing a
|
|||||||
good text editor, while still having very good IDE features for Python.
|
good text editor, while still having very good IDE features for Python.
|
||||||
"""
|
"""
|
||||||
|
|
||||||
__version__ = '0.8.0-alpha1'
|
__version__ = '0.8.0-final0'
|
||||||
|
|
||||||
from jedi.api import Script, Interpreter, NotFoundError, set_debug_function
|
from jedi.api import Script, Interpreter, NotFoundError, set_debug_function
|
||||||
from jedi.api import preload_module, defined_names
|
from jedi.api import preload_module, defined_names
|
||||||
|
|||||||
Reference in New Issue
Block a user