aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
Diffstat
-rw-r--r--lua/nvim_lsp.lua1
-rw-r--r--lua/nvim_lsp/leanls.lua26
2 files changed, 27 insertions, 0 deletions
diff --git a/lua/nvim_lsp.lua b/lua/nvim_lsp.lua