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

More syntax

Browse source
This commit is contained in:
Ben Puryear 2024-07-18 18:55:15 -07:00 • committed by GitHub
parent 2f6bc58650
commit c317b240ca
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -4,8 +4,8 @@ return {
return LazyVim.extras.wants({
ft = { "lean" },
root = { "lean-toolchain" },
})
end,
})
end,
},
{
"Julian/lean.nvim",