From 337e364e623baffc3b481598f8902adca25706f5 Mon Sep 17 00:00:00 2001 From: Rasmus Rendal Date: Sat, 20 May 2023 11:27:16 +0200 Subject: vimPlugins.vim-agda: init at 2022-03-01 --- pkgs/applications/editors/vim/plugins/vim-plugin-names | 1 + 1 file changed, 1 insertion(+) (limited to 'pkgs/applications/editors/vim/plugins/vim-plugin-names') 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/,, -- cgit 1.4.1