diff options
| author | Andrej Benz <hello@benz.dev> | 2020-12-11 09:26:34 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-12-11 09:26:34 +0100 |
| commit | b7612bafe4e06972a15075e1dbc5e7c3f926ea91 (patch) | |
| tree | 48d95e3c9e2c5dccf478f5fe89f624829f273094 /lua/nvim_lsp/leanls.lua | |
| parent | changed filepath (diff) | |
| parent | Merge pull request #438 from HiPhish/kotlin (diff) | |
| download | nvim-lspconfig-b7612bafe4e06972a15075e1dbc5e7c3f926ea91.tar nvim-lspconfig-b7612bafe4e06972a15075e1dbc5e7c3f926ea91.tar.gz nvim-lspconfig-b7612bafe4e06972a15075e1dbc5e7c3f926ea91.tar.bz2 nvim-lspconfig-b7612bafe4e06972a15075e1dbc5e7c3f926ea91.tar.lz nvim-lspconfig-b7612bafe4e06972a15075e1dbc5e7c3f926ea91.tar.xz nvim-lspconfig-b7612bafe4e06972a15075e1dbc5e7c3f926ea91.tar.zst nvim-lspconfig-b7612bafe4e06972a15075e1dbc5e7c3f926ea91.zip | |
Merge branch 'master' into master
Diffstat (limited to 'lua/nvim_lsp/leanls.lua')
| -rw-r--r-- | lua/nvim_lsp/leanls.lua | 22 |
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 |