diff options
Diffstat (limited to 'lua/nvim_lsp/leanls.lua')
| -rw-r--r-- | lua/nvim_lsp/leanls.lua | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lua/nvim_lsp/leanls.lua b/lua/nvim_lsp/leanls.lua index 13400297..894f318b 100644 --- a/lua/nvim_lsp/leanls.lua +++ b/lua/nvim_lsp/leanls.lua @@ -8,7 +8,7 @@ configs.leanls = { root_dir = util.root_pattern(".git"); }; docs = { - vscode = "jroesch.lean"; + package_json = "https://raw.githubusercontent.com/leanprover/vscode-lean/master/package.json"; description = [[ https://github.com/leanprover/lean-client-js/tree/master/lean-language-server |