From 29508ee9451b4bcf68a54137830c2300d14be308 Mon Sep 17 00:00:00 2001 From: juan Date: Mon, 6 Dec 2021 11:23:13 +0800 Subject: [PATCH] I don't need snippets --- lua/pluginList.lua | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) diff --git a/lua/pluginList.lua b/lua/pluginList.lua index 44fe077..12cc5af 100644 --- a/lua/pluginList.lua +++ b/lua/pluginList.lua @@ -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',