Merge pull request #108797 from xwvvvvwx/coq.vim

2021-01-09 03:14:03 +01:00
parent 9ff1aa8d2c 77e3b42285
commit 7860fe64c6
2 changed files with 99 additions and 86 deletions
--- a/pkgs/misc/vim-plugins/vim-plugin-names
+++ b/pkgs/misc/vim-plugins/vim-plugin-names
@@ -230,6 +230,7 @@ justincampbell/vim-eighties
 justinj/vim-pico8-syntax
 justinmk/vim-dirvish
 justinmk/vim-sneak
+jvoorhis/coq.vim
 KabbAmine/vCoolor.vim
 KabbAmine/zeavim.vim
 kalbasit/vim-colemak