vimPlugins.vim-lean: fix branch

2021-10-25 10:29:10 -04:00 · 2021-10-25 10:29:10 -04:00 · e9370bd818
commit e9370bd818
parent c750019f9d
1 changed files with 1 additions and 1 deletions
--- a/pkgs/misc/vim-plugins/vim-plugin-names
+++ b/pkgs/misc/vim-plugins/vim-plugin-names
@ -457,7 +457,7 @@ michaeljsmith/vim-indent-object
 mileszs/ack.vim
 milkypostman/vim-togglelist
 mindriot101/vim-yapf
-mk12/vim-lean
+mk12/vim-lean@main
 mkasa/lushtags
 mlr-msft/vim-loves-dafny
 moll/vim-bbye