diff options
| author | HyBer <59885141+BBboy01@users.noreply.github.com> | 2025-04-18 22:53:37 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-04-18 07:53:37 -0700 |
| commit | 4692f3a14f05bbc1f75e887c838c81c07f1ba91f (patch) | |
| tree | 4dc5e908a6a003200e6e5568715198178b162900 /lsp/lean3ls.lua | |
| parent | docs: update configs.md (diff) | |
| download | nvim-lspconfig-4692f3a14f05bbc1f75e887c838c81c07f1ba91f.tar nvim-lspconfig-4692f3a14f05bbc1f75e887c838c81c07f1ba91f.tar.gz nvim-lspconfig-4692f3a14f05bbc1f75e887c838c81c07f1ba91f.tar.bz2 nvim-lspconfig-4692f3a14f05bbc1f75e887c838c81c07f1ba91f.tar.lz nvim-lspconfig-4692f3a14f05bbc1f75e887c838c81c07f1ba91f.tar.xz nvim-lspconfig-4692f3a14f05bbc1f75e887c838c81c07f1ba91f.tar.zst | |