From bb50c285f154d42107a56abf0a7e0264931c5f93 Mon Sep 17 00:00:00 2001 From: Dave Halter Date: Wed, 2 Jul 2014 12:47:44 +0200 Subject: [PATCH] Bump release to 0.8.1-final0, because we're doing a release soon. --- jedi/__init__.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/jedi/__init__.py b/jedi/__init__.py index 9c3a3d3b..a8439f8c 100644 --- a/jedi/__init__.py +++ b/jedi/__init__.py @@ -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. """ -__version__ = '0.8.0-final0' +__version__ = '0.8.1-final0' from jedi.api import Script, Interpreter, NotFoundError, set_debug_function from jedi.api import preload_module, defined_names