diff options
| author | Julian Berman <Julian@GrayVines.com> | 2021-07-24 06:21:56 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-07-23 21:21:56 -0700 |
| commit | 169c5cd56aafc11dfe89b1c85d39e4d816d7f4e2 (patch) | |
| tree | 62a3e6d3179d6bc40e5c877380a357bc7ef7b50a /.github | |
| parent | [docgen] Update CONFIG.md (diff) | |
| download | nvim-lspconfig-169c5cd56aafc11dfe89b1c85d39e4d816d7f4e2.tar nvim-lspconfig-169c5cd56aafc11dfe89b1c85d39e4d816d7f4e2.tar.gz nvim-lspconfig-169c5cd56aafc11dfe89b1c85d39e4d816d7f4e2.tar.bz2 nvim-lspconfig-169c5cd56aafc11dfe89b1c85d39e4d816d7f4e2.tar.lz nvim-lspconfig-169c5cd56aafc11dfe89b1c85d39e4d816d7f4e2.tar.xz nvim-lspconfig-169c5cd56aafc11dfe89b1c85d39e4d816d7f4e2.tar.zst nvim-lspconfig-169c5cd56aafc11dfe89b1c85d39e4d816d7f4e2.zip | |
docs: add a direct link to lean.nvim (for leanls and lean3ls) (#1062)
* update language of metals to bring it in line with lean
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions