Rename nvim_lsp to lspconfig

1 files changed, 0 insertions, 22 deletions

diff --git a/lua/nvim_lsp/leanls.lua b/lua/nvim_lsp/leanls.lua
deleted file mode 100644
index 894f318b..00000000
--- a/lua/nvim_lsp/leanls.lua
+++ /dev/null
@@ -1,22 +0,0 @@
-local configs = require 'nvim_lsp/configs'
-local util = require 'nvim_lsp/util'
-
-configs.leanls = {
-  default_config = {
-    cmd = {"lean-language-server", "--stdio"};
-    filetypes = {"lean"};
-    root_dir = util.root_pattern(".git");
-  };
-  docs = {
-    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
-
-Lean language server.
-    ]];
-    default_config = {
-      root_dir = [[util.root_pattern(".git")]];
-    };
-  };
-}
--- vim:et ts=2 sw=2