diff options
Diffstat (limited to 'lua/lspconfig/lean3ls.lua')
| -rw-r--r-- | lua/lspconfig/lean3ls.lua | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/lua/lspconfig/lean3ls.lua b/lua/lspconfig/lean3ls.lua index 65dc815b..37c5cc7c 100644 --- a/lua/lspconfig/lean3ls.lua +++ b/lua/lspconfig/lean3ls.lua @@ -21,11 +21,6 @@ configs.lean3ls = { or util.find_git_ancestor(fname) end, single_file_support = true, - on_new_config = function(config, root) - if not config.cmd_cwd then - config.cmd_cwd = root - end - end, }, docs = { description = [[ |