diff options
| author | Hirokazu Hata <h.hata.ai.t@gmail.com> | 2020-05-18 23:54:45 +0900 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-05-18 23:54:45 +0900 |
| commit | b38058bf24a91ad55b320d568c858cdddab8b177 (patch) | |
| tree | e40f7d29074861e4911dc00b13a53480b3d01c32 /lua/nvim_lsp/leanls.lua | |
| parent | [docgen] Update README.md (diff) | |
| parent | [docgen] Update README.md (diff) | |
| download | nvim-lspconfig-b38058bf24a91ad55b320d568c858cdddab8b177.tar nvim-lspconfig-b38058bf24a91ad55b320d568c858cdddab8b177.tar.gz nvim-lspconfig-b38058bf24a91ad55b320d568c858cdddab8b177.tar.bz2 nvim-lspconfig-b38058bf24a91ad55b320d568c858cdddab8b177.tar.lz nvim-lspconfig-b38058bf24a91ad55b320d568c858cdddab8b177.tar.xz nvim-lspconfig-b38058bf24a91ad55b320d568c858cdddab8b177.tar.zst nvim-lspconfig-b38058bf24a91ad55b320d568c858cdddab8b177.zip | |
Merge pull request #242 from h-michael/docgen
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 |