From ddcd9e6aae50d6397e43e4fc9ba0cf7a82cc79de Mon Sep 17 00:00:00 2001
From: Hirokazu Hata <h.hata.ai.t@gmail.com>
Date: Sun, 6 Sep 2020 17:49:21 +0900
Subject: Rename nvim_lsp to lspconfig

---
 lua/nvim_lsp/leanls.lua | 22 ----------------------
 1 file changed, 22 deletions(-)
 delete mode 100644 lua/nvim_lsp/leanls.lua

(limited to 'lua/nvim_lsp/leanls.lua')

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
-- 
cgit v1.2.3-70-g09d2