From 9b38297a6725e339bd7ead615aa2bfba16ccdb07 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Henrik=20Tj=C3=A4der?= <henrik.tjader@nordicsemi.no>
Date: Wed, 27 Jul 2022 15:15:04 +0200
Subject: [PATCH] Disable Coq
---
.vimrc | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/.vimrc b/.vimrc
index 92fee83..49961e1 100644
--- a/.vimrc
+++ b/.vimrc
@@ -70,9 +70,9 @@ if has('nvim')
"Plug 'ms-jpq/chadtree', {'branch': 'chad', 'do': 'python3 -m chadtree deps'}" ChadTree alternative
" Coq
" main one, might need :COQdeps to be run at install
- Plug 'ms-jpq/coq_nvim', {'branch': 'coq'}
+ "Plug 'ms-jpq/coq_nvim', {'branch': 'coq'}
" 9000+ Snippets
- Plug 'ms-jpq/coq.artifacts', {'branch': 'artifacts'}
+ "Plug 'ms-jpq/coq.artifacts', {'branch': 'artifacts'}
" Neovim GDB/LLDB integration
Plug 'sakhnik/nvim-gdb', { 'do': ':!./install.sh' }
endif
--
GitLab