feat: expose configs

1 files changed, 0 insertions, 42 deletions

diff --git a/lua/lspconfig/leanls.lua b/lua/lspconfig/leanls.lua
deleted file mode 100644
index 7592e575..00000000
--- a/lua/lspconfig/leanls.lua
+++ /dev/null
@@ -1,42 +0,0 @@
-local configs = require 'lspconfig/configs'
-local util = require 'lspconfig/util'
-
-configs.leanls = {
-  default_config = {
-    cmd = { 'lean', '--server' },
-    filetypes = { 'lean' },
-    root_dir = function(fname)
-      -- check if inside elan stdlib
-      local stdlib_dir
-      do
-        local _, endpos = fname:find(util.path.sep .. util.path.join('lib', 'lean'))
-        if endpos then
-          stdlib_dir = fname:sub(1, endpos)
-        end
-      end
-
-      return util.root_pattern('lakefile.lean', 'lean-toolchain', 'leanpkg.toml')(fname)
-        or stdlib_dir
-        or util.find_git_ancestor(fname)
-    end,
-    single_file_support = true,
-  },
-  docs = {
-    description = [[
-https://github.com/leanprover/lean4
-
-Lean installation instructions can be found
-[here](https://leanprover-community.github.io/get_started.html#regular-install).
-
-The Lean 4 language server is built-in with a Lean 4 install
-(and can be manually run with, e.g., `lean --server`).
-
-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 `leanls` both with it and `lspconfig`.
-    ]],
-    default_config = {
-      root_dir = [[root_pattern("lakefile.lean", "lean-toolchain", "leanpkg.toml", ".git")]],
-    },
-  },
-}