diff options
| author | Rasmus Rendal <rasmus@rend.al> | 2023-05-20 11:27:16 +0200 |
|---|---|---|
| committer | Rasmus Rendal <rasmus@rend.al> | 2023-05-22 08:40:20 +0200 |
| commit | 337e364e623baffc3b481598f8902adca25706f5 (patch) | |
| tree | f9706b7831823f6c6b8a3e85895fce5b8ac5d7d9 /pkgs/applications/editors/vim/plugins/vim-plugin-names | |
| parent | 4a1886794755e0cd3826d67ea93c714ffe6028c2 (diff) | |
vimPlugins.vim-agda: init at 2022-03-01
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/,, |