juan/config.nvim
1
1
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

I don't need snippets

Browse Source
This commit is contained in:
juan 2021-12-06 11:23:13 +08:00
parent 0aafb8a2ab
commit 29508ee945
Signed by: juan
GPG Key ID: 5C1E5093C74F1DC7
1 changed files with 7 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
lua/pluginList.lua
View File

@ -23,7 +23,7 @@ return require('packer').startup(function(use)
use {'kyazdani42/nvim-web-devicons', after = 'packer.nvim'}
use {
'hoob3rt/lualine.nvim',
after = 'nvim-web-devicons',
after = {'nvim-web-devicons', 'nvim-base16'},
config = function() require "plugins.statusline" end
}
use {
@ -61,12 +61,12 @@ return require('packer').startup(function(use)
run = ':COQdeps',
config = function() require "plugins.coq" end
}
use {
'ms-jpq/coq.artifacts',
run = ':COQdeps',
after = 'coq_nvim',
branch = 'artifacts'
}
-- use {
-- 'ms-jpq/coq.artifacts',
-- run = ':COQdeps',
-- after = 'coq_nvim',
-- branch = 'artifacts'
-- }
use {
'ms-jpq/coq.thirdparty',
branch = '3p',