From f8e5b8dbec479e1ed5cc106f0d4afb4ad68cdac0 Mon Sep 17 00:00:00 2001 From: Dave Halter Date: Wed, 23 Apr 2014 12:11:43 +0200 Subject: [PATCH] update Jedi to the latest dev branch --- jedi | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/jedi b/jedi index 78f1ae5..67f49da 160000 --- a/jedi +++ b/jedi @@ -1 +1 @@ -Subproject commit 78f1ae5e7163bda737433f1d551b3180cf03e1d1 +Subproject commit 67f49da15c2da390a072971a97c1f2b8ac549039