From 61e1f46626441f765cf6a991520289056c2b8195 Mon Sep 17 00:00:00 2001 From: Dave Halter Date: Mon, 5 May 2014 00:39:46 +0200 Subject: [PATCH] update jedi to jedi 0.8.0 --- jedi | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/jedi b/jedi index 67f49da..7b402d7 160000 --- a/jedi +++ b/jedi @@ -1 +1 @@ -Subproject commit 67f49da15c2da390a072971a97c1f2b8ac549039 +Subproject commit 7b402d7bbe0e07554f1f97ee3558167961a99b5a