diff options
| author | Github Actions <actions@github> | 2019-11-26 14:03:41 +0000 |
|---|---|---|
| committer | Github Actions <actions@github> | 2019-11-26 14:03:41 +0000 |
| commit | 9a016e2ebc48da4cb56dcdf2de3e2ac69a00cfa9 (patch) | |
| tree | 50fd68ffd15f2b1241d6dabb7c55d1816af3a156 /lua/nvim_lsp/leanls.lua | |
| parent | Add support for lean language server (#51) (diff) | |
| download | nvim-lspconfig-9a016e2ebc48da4cb56dcdf2de3e2ac69a00cfa9.tar nvim-lspconfig-9a016e2ebc48da4cb56dcdf2de3e2ac69a00cfa9.tar.gz nvim-lspconfig-9a016e2ebc48da4cb56dcdf2de3e2ac69a00cfa9.tar.bz2 nvim-lspconfig-9a016e2ebc48da4cb56dcdf2de3e2ac69a00cfa9.tar.lz nvim-lspconfig-9a016e2ebc48da4cb56dcdf2de3e2ac69a00cfa9.tar.xz nvim-lspconfig-9a016e2ebc48da4cb56dcdf2de3e2ac69a00cfa9.tar.zst nvim-lspconfig-9a016e2ebc48da4cb56dcdf2de3e2ac69a00cfa9.zip | |
[docgen] Update README.md
skip-checks: true
Diffstat (limited to 'lua/nvim_lsp/leanls.lua')
0 files changed, 0 insertions, 0 deletions