vimPlugins.idris2-vim: init at 2020-05-25

2020-10-30 12:31:59 +01:00
parent 3b4fcbb5d1
commit ef052cf639
2 changed files with 13 additions and 0 deletions
--- a/pkgs/misc/vim-plugins/vim-plugin-names
+++ b/pkgs/misc/vim-plugins/vim-plugin-names
@@ -94,6 +94,7 @@ eagletmt/ghcmod-vim
 eagletmt/neco-ghc
 easymotion/vim-easymotion
 editorconfig/editorconfig-vim
+edwinb/idris2-vim
 ehamberg/vim-cute-python
 eikenb/acp
 elixir-editors/vim-elixir