mirror of
https://github.com/davidhalter/jedi.git
synced 2026-10-13 23:48:55 +08:00
Update already the version number so we don't forget it.
This commit is contained in:
1 parent
7020086166
commit
f2b41b1752
1 file changed
+1
-1
+1
-1
@@ -36,7 +36,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.
|
||||
"""
|
||||
|
||||
__version__ = '0.10.0'
|
||||
__version__ = '0.10.1'
|
||||
|
||||
from jedi.api import Script, Interpreter, NotFoundError, set_debug_function
|
||||
from jedi.api import preload_module, defined_names, names
|
||||
|
||||
Reference in new issue
Block a user