diff options
Diffstat (limited to 'pkgs/applications/editors/vim/plugins/vim-plugin-names')
| -rw-r--r-- | pkgs/applications/editors/vim/plugins/vim-plugin-names | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pkgs/applications/editors/vim/plugins/vim-plugin-names b/pkgs/applications/editors/vim/plugins/vim-plugin-names index 8644c1fef1f19..4b4b1a23a86cd 100644 --- a/pkgs/applications/editors/vim/plugins/vim-plugin-names +++ b/pkgs/applications/editors/vim/plugins/vim-plugin-names @@ -843,6 +843,7 @@ https://github.com/MarcWeber/vim-addon-syntax-checker/,, https://github.com/MarcWeber/vim-addon-toggle-buffer/,, https://github.com/MarcWeber/vim-addon-xdebug/,, https://github.com/junegunn/vim-after-object/,, +https://github.com/msuperdock/vim-agda/,HEAD, https://github.com/vim-airline/vim-airline/,, https://github.com/enricobacis/vim-airline-clock/,, https://github.com/vim-airline/vim-airline-themes/,, |