mirror of
https://github.com/davidhalter/jedi.git
synced 2026-10-20 15:37:05 +08:00
version should be the next one (with alpha) and not a past one, thx @ramiro
This commit is contained in:
1 parent
9367b54a3d
commit
9565aa1431
1 file changed
+1
-1
+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, 7, 0, 'alpha1'
|
__version__ = 0, 7, 1, 'alpha1'
|
||||||
|
|
||||||
import sys
|
import sys
|
||||||
|
|
||||||
|
|||||||
Reference in new issue
Block a user