diff options
author | "David Terry" <"me@xwvvvvwx.com"> | 2021-01-07 23:29:18 +0100 |
---|---|---|
committer | "David Terry" <"me@xwvvvvwx.com"> | 2021-01-07 23:29:18 +0100 |
commit | 77e3b42285b20b6284609ae6b1f54ea25492a97b (patch) | |
tree | d591f5ff77c54dab8df6e1e3bece3978e07b70ab /pkgs/misc/vim-plugins/vim-plugin-names | |
parent | 245e149a4510a49fb0d270e87a3655818ff34bd9 (diff) | |
download | nixpkgs-77e3b42285b20b6284609ae6b1f54ea25492a97b.tar nixpkgs-77e3b42285b20b6284609ae6b1f54ea25492a97b.tar.gz nixpkgs-77e3b42285b20b6284609ae6b1f54ea25492a97b.tar.bz2 nixpkgs-77e3b42285b20b6284609ae6b1f54ea25492a97b.tar.lz nixpkgs-77e3b42285b20b6284609ae6b1f54ea25492a97b.tar.xz nixpkgs-77e3b42285b20b6284609ae6b1f54ea25492a97b.tar.zst nixpkgs-77e3b42285b20b6284609ae6b1f54ea25492a97b.zip |
vimPlugins.coq-vim: init at 2013-01-16
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 237f7faacf3..27b86f03565 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 |