aboutsummaryrefslogtreecommitdiffstats
path: root/lua/lspconfig/server_configurations/lean3ls.lua
diff options
context:
space:
mode:
authorkylo252 <59826753+kylo252@users.noreply.github.com>2022-04-10 06:59:09 +0200
committerGitHub <noreply@github.com>2022-04-09 21:59:09 -0700
commit1b4142e9cdd565d29511c20a3d64e7cfa20f2241 (patch)
tree86a01793556e8f89aafcac69967bf4961b1ce75b /lua/lspconfig/server_configurations/lean3ls.lua
parentdocs: update server_configurations.md (diff)
downloadnvim-lspconfig-1b4142e9cdd565d29511c20a3d64e7cfa20f2241.tar
nvim-lspconfig-1b4142e9cdd565d29511c20a3d64e7cfa20f2241.tar.gz
nvim-lspconfig-1b4142e9cdd565d29511c20a3d64e7cfa20f2241.tar.bz2
nvim-lspconfig-1b4142e9cdd565d29511c20a3d64e7cfa20f2241.tar.lz
nvim-lspconfig-1b4142e9cdd565d29511c20a3d64e7cfa20f2241.tar.xz
nvim-lspconfig-1b4142e9cdd565d29511c20a3d64e7cfa20f2241.tar.zst
nvim-lspconfig-1b4142e9cdd565d29511c20a3d64e7cfa20f2241.zip
fix(clangd): update root-markers (#1826)
Diffstat (limited to 'lua/lspconfig/server_configurations/lean3ls.lua')
0 files changed, 0 insertions, 0 deletions