diff options
| author | github-actions <github-actions@github.com> | 2021-09-05 15:17:50 +0000 |
|---|---|---|
| committer | github-actions <github-actions@github.com> | 2021-09-05 15:17:50 +0000 |
| commit | cbd7c91530d62a72bf4a5a5a1aac384883077d81 (patch) | |
| tree | 01c5099e4ff2c66f7005a111da81d3e566fb41f0 /lua | |
| parent | feat(leanls,lean3ls): add support for Lean 3/4 standard libraries (#1156) (diff) | |
| download | nvim-lspconfig-cbd7c91530d62a72bf4a5a5a1aac384883077d81.tar nvim-lspconfig-cbd7c91530d62a72bf4a5a5a1aac384883077d81.tar.gz nvim-lspconfig-cbd7c91530d62a72bf4a5a5a1aac384883077d81.tar.bz2 nvim-lspconfig-cbd7c91530d62a72bf4a5a5a1aac384883077d81.tar.lz nvim-lspconfig-cbd7c91530d62a72bf4a5a5a1aac384883077d81.tar.xz nvim-lspconfig-cbd7c91530d62a72bf4a5a5a1aac384883077d81.tar.zst nvim-lspconfig-cbd7c91530d62a72bf4a5a5a1aac384883077d81.zip | |
[docgen] Update CONFIG.md
skip-checks: true
Diffstat (limited to 'lua')
0 files changed, 0 insertions, 0 deletions