dzamo cd9b1e66f0 Update jedi.kak ... I needed this patch accommodating minor Jedi API changes to get Jedi completion working. I've got Jedi 0.18.0.		2021-04-27 17:42:29 +02:00
..
jedi.kak	Update jedi.kak	2021-04-27 17:42:29 +02:00