diff options
author | Sandro <sandro.jaeckel@gmail.com> | 2021-01-09 03:14:03 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-01-09 03:14:03 +0100 |
commit | 7860fe64c65f27acdba99f94fad46289136f5e86 (patch) | |
tree | 0da50351affb1d44002ced9b2062f750faba7c86 /pkgs/misc/vim-plugins/vim-plugin-names | |
parent | 9ff1aa8d2ce70fa2c4417eab055d182623f98429 (diff) | |
parent | 77e3b42285b20b6284609ae6b1f54ea25492a97b (diff) |
Merge pull request #108797 from xwvvvvwx/coq.vim
Diffstat (limited to 'pkgs/misc/vim-plugins/vim-plugin-names')
-rw-r--r-- | pkgs/misc/vim-plugins/vim-plugin-names | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pkgs/misc/vim-plugins/vim-plugin-names b/pkgs/misc/vim-plugins/vim-plugin-names index b1d8b4c1b6ab..63dee14b4692 100644 --- 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 |