diff options
| author | github-actions <github-actions@github.com> | 2021-09-05 15:17:50 +0000 |
|---|---|---|
| committer | github-actions <github-actions@github.com> | 2021-09-05 15:17:50 +0000 |
| commit | cbd7c91530d62a72bf4a5a5a1aac384883077d81 (patch) | |
| tree | 01c5099e4ff2c66f7005a111da81d3e566fb41f0 /CONFIG.md | |
| parent | feat(leanls,lean3ls): add support for Lean 3/4 standard libraries (#1156) (diff) | |
| download | nvim-lspconfig-cbd7c91530d62a72bf4a5a5a1aac384883077d81.tar nvim-lspconfig-cbd7c91530d62a72bf4a5a5a1aac384883077d81.tar.gz nvim-lspconfig-cbd7c91530d62a72bf4a5a5a1aac384883077d81.tar.bz2 nvim-lspconfig-cbd7c91530d62a72bf4a5a5a1aac384883077d81.tar.lz nvim-lspconfig-cbd7c91530d62a72bf4a5a5a1aac384883077d81.tar.xz nvim-lspconfig-cbd7c91530d62a72bf4a5a5a1aac384883077d81.tar.zst nvim-lspconfig-cbd7c91530d62a72bf4a5a5a1aac384883077d81.zip | |
[docgen] Update CONFIG.md
skip-checks: true
Diffstat (limited to 'CONFIG.md')
| -rw-r--r-- | CONFIG.md | 6 |
1 files changed, 0 insertions, 6 deletions
@@ -3638,9 +3638,6 @@ require'lspconfig'.lean3ls.setup{} cmd = { "lean-language-server", "--stdio", "--", "-M", "4096", "-T", "100000" } filetypes = { "lean3" } on_new_config = function(config, root) - if not util.path.is_file(root .. '/leanpkg.toml') then - return - end if not config.cmd_cwd then config.cmd_cwd = root end @@ -3678,9 +3675,6 @@ require'lspconfig'.leanls.setup{} cmd = { "lean", "--server" } filetypes = { "lean" } on_new_config = function(config, root) - if not util.path.is_file(root .. '/leanpkg.toml') then - return - end if not config.cmd_cwd then config.cmd_cwd = root end |