From 6c355a0ac2511a66d16aeca71c50054c72f73504 Mon Sep 17 00:00:00 2001 From: Dave Halter Date: Sun, 5 Nov 2017 15:07:06 +0100 Subject: [PATCH] Update version --- jedi/__init__.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/jedi/__init__.py b/jedi/__init__.py index 08e41e7d..1a1080ad 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.11.0' +__version__ = '0.11.1' from jedi.api import Script, Interpreter, set_debug_function, \ preload_module, names