From 7b402d7bbe0e07554f1f97ee3558167961a99b5a Mon Sep 17 00:00:00 2001 From: Dave Halter Date: Mon, 5 May 2014 00:23:07 +0200 Subject: [PATCH] change release to 0.8.0-final0, #395 --- jedi/__init__.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/jedi/__init__.py b/jedi/__init__.py index e2fda6ea..9c3a3d3b 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-alpha1' +__version__ = '0.8.0-final0' from jedi.api import Script, Interpreter, NotFoundError, set_debug_function from jedi.api import preload_module, defined_names