mirror of
https://github.com/davidhalter/jedi-vim.git
synced 2026-06-18 15:07:44 +08:00
6411de0cd1
The user might want to use the default actually.