From b25f1f9f4bc1c73564ddb08670e568567ac04d7e Mon Sep 17 00:00:00 2001
From: Tibo De Peuter <tibo@depeuter.dev>
Date: Thu, 24 Oct 2024 15:29:38 +0200
Subject: [PATCH] feat(vim): Add Coq support

---
 stow/vim/.vimrc | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/stow/vim/.vimrc b/stow/vim/.vimrc
index 5995924..379ddb4 100644
--- a/stow/vim/.vimrc
+++ b/stow/vim/.vimrc
@@ -82,6 +82,9 @@ Plug 'prabirshrestha/vim-lsp'
 Plug 'sheerun/vim-polyglot'
 Plug 'vifm/vifm.vim'
 
+" Coq
+Plug 'whonore/Coqtail'
+
 call plug#end() 
 
 " }}}