Create a new 0.13.1 release

This commit is contained in:
Dave Halter committed 2018-10-02 19:07:35 +02:00
1 parent 23b3327b1d
commit bd1010bbd2
2 files changed
+6 -1

No files matched your search

+1 -1
View File
@@ -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.13.0'
__version__ = '0.13.1'
from jedi.api import Script, Interpreter, set_debug_function, \
preload_module, names