| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | feat(lean): add support for Lean 4 language server | Rishikesh Vaishnav | 2021-06-13 | 1 | -6/+15 |
| * | Have leanls use util.find_git_ancestor. | Julian Berman | 2020-12-22 | 1 | -2/+4 |
| * | Rename nvim_lsp to lspconfig | Hirokazu Hata | 2020-09-06 | 1 | -0/+22 |
 |
index : nvim-lspconfig | |
| [no description] | git mirrorbot |
| aboutsummaryrefslogtreecommitdiffstats |