Release notes for 0.13.0

2018-10-02 01:14:28 +02:00
parent c24eb4bd67
commit 96b57f46cb
2 changed files with 5 additions and 2 deletions
@@ -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.12.1'
+__version__ = '0.13.0'

 from jedi.api import Script, Interpreter, set_debug_function, \
    preload_module, names