diff options
| author | Hirokazu Hata <h.hata.ai.t@gmail.com> | 2020-05-18 20:49:02 +0900 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-05-18 20:49:02 +0900 |
| commit | 46a3c1366b6234a7d4ab8863ba0c894c7a98d315 (patch) | |
| tree | 46fe1182d7f88d4f17510710b215e6ce39df3d80 /lua/nvim_lsp/leanls.lua | |
| parent | [docgen] Update README.md (diff) | |
| parent | config: remove unnecessary code comennts and utf8 option (diff) | |
| download | nvim-lspconfig-46a3c1366b6234a7d4ab8863ba0c894c7a98d315.tar nvim-lspconfig-46a3c1366b6234a7d4ab8863ba0c894c7a98d315.tar.gz nvim-lspconfig-46a3c1366b6234a7d4ab8863ba0c894c7a98d315.tar.bz2 nvim-lspconfig-46a3c1366b6234a7d4ab8863ba0c894c7a98d315.tar.lz nvim-lspconfig-46a3c1366b6234a7d4ab8863ba0c894c7a98d315.tar.xz nvim-lspconfig-46a3c1366b6234a7d4ab8863ba0c894c7a98d315.tar.zst nvim-lspconfig-46a3c1366b6234a7d4ab8863ba0c894c7a98d315.zip | |
Merge pull request #241 from h-michael/config
Diffstat (limited to 'lua/nvim_lsp/leanls.lua')
| -rw-r--r-- | lua/nvim_lsp/leanls.lua | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/lua/nvim_lsp/leanls.lua b/lua/nvim_lsp/leanls.lua index 0582868e..13400297 100644 --- a/lua/nvim_lsp/leanls.lua +++ b/lua/nvim_lsp/leanls.lua @@ -7,8 +7,6 @@ configs.leanls = { filetypes = {"lean"}; root_dir = util.root_pattern(".git"); }; - -- on_new_config = function(new_config) end; - -- on_attach = function(client, bufnr) end; docs = { vscode = "jroesch.lean"; description = [[ |