From f2b41b1752f5d43ec368313546749b05f6fd5662 Mon Sep 17 00:00:00 2001 From: Dave Halter Date: Fri, 3 Feb 2017 00:38:08 +0100 Subject: [PATCH] Update already the version number so we don't forget it. --- jedi/__init__.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/jedi/__init__.py b/jedi/__init__.py index c2782760..6d7cb8cb 100644 --- a/jedi/__init__.py +++ b/jedi/__init__.py @@ -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