| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | fix(leanls) : drop outdated config #4177 | Y. Ding | 2025-11-18 | 1 | -45/+0 |
| | | | | | | The old file has compatibility issues with the newest version of the `lean.nvim` plugin. The `lean.nvim` plugin now handles language server attachment internally and no longer requires `nvim-lspconfig`. However, for users who still need `nvim-lspconfig` installed (e.g., for other languages), the existing file would shadow the newer one, leading to conflicts. This update directly copies the relevant file from `lean.nvim` to resolve this. | ||||
| * | fix(leanls): migrate to vim.lsp.config #4084 | Christian Benedict Smit | 2025-09-22 | 1 | -0/+45 |
| Co-authored-by: Benedict Christian Smit <benedict.smit@tu-dortmund.de> | |||||
 |
index : nvim-lspconfig | |
| [no description] | git mirrorbot |
| aboutsummaryrefslogtreecommitdiffstats |