update of jedi version

This commit is contained in:
David Halter
2012-12-10 22:42:09 +01:00
parent 1900c0829a
commit 1507fcc24f

2
jedi

Submodule jedi updated: 9f8c27c956...800f6eb84b