blallo
/
nvim_config
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Update coq

master
blallo 2023-04-16 11:48:58 -03:00
parent 23bef4c174
commit f3c38e4954
Signed by: blallo
GPG Key ID: C530464EEDCF489A
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
lua/plugins.lua
View File

@ -72,9 +72,9 @@ local function init()
use 'neovim/nvim-lspconfig'
use 'https://git.sr.ht/~whynothugo/lsp_lines.nvim'
-- -- Coq
use {'ms-jpq/coq_nvim', branch = 'coq'}
use {'ms-jpq/coq.artifacts', branch = 'artifacts'}
use {'ms-jpq/coq.thirdparty', branch = '3p'}
use { 'ms-jpq/coq_nvim', branch = 'coq' }
use { 'ms-jpq/coq.artifacts', branch = 'artifacts' }
use { 'ms-jpq/coq.thirdparty', branch = '3p' }
-- -- nvim-cmp
use 'hrsh7th/cmp-nvim-lsp'
use 'hrsh7th/nvim-cmp'