refactor(docs): drop redundant default_config #3398

Problem:
default_config duplicated in `docs` items.

Solution:
delete it. docgen autogenerates this now.

1 files changed, 0 insertions, 3 deletions

diff --git a/lua/lspconfig/configs/lean3ls.lua b/lua/lspconfig/configs/lean3ls.lua
index ebcec10d..01479898 100644
--- a/lua/lspconfig/configs/lean3ls.lua
+++ b/lua/lspconfig/configs/lean3ls.lua
@@ -39,8 +39,5 @@ Note: that if you're using [lean.nvim](https://github.com/Julian/lean.nvim),
 that plugin fully handles the setup of the Lean language server,
 and you shouldn't set up `lean3ls` both with it and `lspconfig`.
     ]],
-    default_config = {
-      root_dir = [[root_pattern("leanpkg.toml") or root_pattern(".git")]],
-    },
   },
 }