gebner/etc
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

vim: remove lean.vim

Browse Source
This commit is contained in:
Gabriel Ebner 2021-06-17 12:55:10 +02:00
parent 50d22d8b27
commit a8692a6b3c
1 changed files with 0 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
vimrc
View File

@ -115,11 +115,6 @@ if isdirectory(expand('~/lean.nvim'))
else else
Plug 'Julian/lean.nvim' Plug 'Julian/lean.nvim'
endif endif
if isdirectory(expand('~/lean.vim'))
Plug '~/lean.vim'
else
Plug 'leanprover/lean.vim'
endif
Plug 'neovim/nvim-lspconfig' Plug 'neovim/nvim-lspconfig'
Plug 'folke/lua-dev.nvim' Plug 'folke/lua-dev.nvim'