feat: add autocompletion

This commit is contained in:
Michael Mandl 2022-02-20 20:08:36 +01:00
parent c11511d34e
commit 0f42b82bc2
Signed by: mandlm
GPG key ID: 4AA25D647AA54CC7
2 changed files with 9 additions and 0 deletions

View file

@ -1,3 +1,5 @@
require('settings') require('settings')
require('plugins') require('plugins')
require('themes') require('themes')
vim.cmd('COQnow -s')

View file

@ -48,6 +48,13 @@ return require('packer').startup(function(use)
end end
}) })
-- autocompletion
use({
"ms-jpq/coq_nvim",
branch="coq",
})
use({'ms-jpq/coq.artifacts', branch = 'artifacts'})
use('tpope/vim-fugitive') use('tpope/vim-fugitive')
use ({ use ({
'lewis6991/gitsigns.nvim', 'lewis6991/gitsigns.nvim',