diff options
| author | Y. Ding <yuzheng.q.ding@gmail.com> | 2025-11-18 09:32:54 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-11-18 09:32:54 -0800 |
| commit | 61122cf099681d0c3f6463548327eed1ca6390a3 (patch) | |
| tree | 7102b16c842b27f84a5c62c77ed4b93c4fb775c3 /doc/configs.md | |
| parent | docs: update configs.md (diff) | |
| download | nvim-lspconfig-61122cf099681d0c3f6463548327eed1ca6390a3.tar nvim-lspconfig-61122cf099681d0c3f6463548327eed1ca6390a3.tar.gz nvim-lspconfig-61122cf099681d0c3f6463548327eed1ca6390a3.tar.bz2 nvim-lspconfig-61122cf099681d0c3f6463548327eed1ca6390a3.tar.lz nvim-lspconfig-61122cf099681d0c3f6463548327eed1ca6390a3.tar.xz nvim-lspconfig-61122cf099681d0c3f6463548327eed1ca6390a3.tar.zst nvim-lspconfig-61122cf099681d0c3f6463548327eed1ca6390a3.zip | |
fix(leanls) : drop outdated config #4177
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.
Diffstat (limited to 'doc/configs.md')
0 files changed, 0 insertions, 0 deletions