diff options
Diffstat (limited to 'lua/nvim_lsp/leanls.lua')
| -rw-r--r-- | lua/nvim_lsp/leanls.lua | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/lua/nvim_lsp/leanls.lua b/lua/nvim_lsp/leanls.lua index 0f2e9618..77a045df 100644 --- a/lua/nvim_lsp/leanls.lua +++ b/lua/nvim_lsp/leanls.lua @@ -13,10 +13,11 @@ skeleton.leanls = { -- on_new_config = function(new_config) end; -- on_attach = function(client, bufnr) end; docs = { + vscode = "jroesch.lean"; description = [[ - https://github.com/leanprover/lean-client-js/tree/master/lean-language-server +https://github.com/leanprover/lean-client-js/tree/master/lean-language-server - Lean language server. +Lean language server. ]]; default_config = { root_dir = [[util.root_pattern(".git")]]; |