From 0c4a86acfdb5dab27c9180474b8fd3eb5960b134 Mon Sep 17 00:00:00 2001 From: Dave Halter Date: Mon, 13 Jan 2014 21:49:00 +0100 Subject: [PATCH] version bump to 0.8.0, we should make a release again --- jedi/__init__.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/jedi/__init__.py b/jedi/__init__.py index afbb29a6..e2fda6ea 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.7.1-alpha1' +__version__ = '0.8.0-alpha1' from jedi.api import Script, Interpreter, NotFoundError, set_debug_function from jedi.api import preload_module, defined_names