diff --git a/vimrc b/vimrc index cedec8c..9186f38 100644 --- a/vimrc +++ b/vimrc @@ -107,6 +107,8 @@ Plug 'leanprover/lean.vim' Plug 'autozimu/LanguageClient-neovim', { 'do': ':UpdateRemotePlugins' } Plug 'Shougo/echodoc.vim' +Plug 'rickhowe/diffchar.vim' + Plug 'raichoo/smt-vim' Plug 'tkztmk/vim-vala'