mroot/lazyvim
1
0
Fork 0
mirror of https://github.com/LazyVim/LazyVim.git synced 2026-07-25 14:01:06 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Update lean.lua

Browse source
This commit is contained in:
Ben Puryear 2024-09-22 10:25:17 -07:00 • committed by GitHub
parent a1c3ec4cd4
commit f02279c5f3
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
lua/lazyvim/plugins/extras/lang/lean.lua
View file

@ -6,6 +6,7 @@ return {
})
end,
"Julian/lean.nvim",
commit = 'fd7262270c68667fae85ad4703ac84e34c84d5e1', -- See https://github.com/Julian/lean.nvim/issues/353
event = { "BufReadPre *.lean", "BufNewFile *.lean" },
dependencies = {
"nvim-lua/plenary.nvim",