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

Style

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

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

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