From 1507fcc24fea468ae58ea4d3f9910098fb7eb10a Mon Sep 17 00:00:00 2001 From: David Halter Date: Mon, 10 Dec 2012 22:42:09 +0100 Subject: [PATCH] update of jedi version --- jedi | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/jedi b/jedi index 9f8c27c..800f6eb 160000 --- a/jedi +++ b/jedi @@ -1 +1 @@ -Subproject commit 9f8c27c956f3dc9fd00f9045faf6cbbf2462ea54 +Subproject commit 800f6eb84b35e5c600eb7b2a887e7913a9cae550