diff options
| author | dzamo <9107319+dzamo@users.noreply.github.com> | 2021-04-27 17:42:29 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-04-27 17:42:29 +0200 |
| commit | cd9b1e66f02bb7c341eb499d72eb5debfd6ce4c3 (patch) | |
| tree | 3fed4a3d6164055df986345e3c70f959e5018d9a /src/buffer.cc | |
| parent | b720ebf34b1b96c850fbfa3dcc5ff962c08e78a4 (diff) | |
Update jedi.kak
I needed this patch accommodating minor Jedi API changes to get Jedi completion working. I've got Jedi 0.18.0.
Diffstat (limited to 'src/buffer.cc')
0 files changed, 0 insertions, 0 deletions