Skip to content

feat(pack): add Lean language pack#957

Merged
mehalter merged 1 commit intoAstroNvim:mainfrom rami3l:feat/lean-packMay 12, 2024

Commits

Commits on May 12, 2024