diff options
| author | dundargoc <33953936+dundargoc@users.noreply.github.com> | 2021-11-23 19:33:35 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-11-23 13:33:35 -0500 |
| commit | 4990312f5ca87d69495f272c726c11888ca57bb8 (patch) | |
| tree | 985c44a27cb4a27c7cfcb60b400c87839d2d8c82 /lua/lspconfig/lean3ls.lua | |
| parent | docs: update server_configurations.md (diff) | |
| download | nvim-lspconfig-4990312f5ca87d69495f272c726c11888ca57bb8.tar nvim-lspconfig-4990312f5ca87d69495f272c726c11888ca57bb8.tar.gz nvim-lspconfig-4990312f5ca87d69495f272c726c11888ca57bb8.tar.bz2 nvim-lspconfig-4990312f5ca87d69495f272c726c11888ca57bb8.tar.lz nvim-lspconfig-4990312f5ca87d69495f272c726c11888ca57bb8.tar.xz nvim-lspconfig-4990312f5ca87d69495f272c726c11888ca57bb8.tar.zst nvim-lspconfig-4990312f5ca87d69495f272c726c11888ca57bb8.zip | |
docs: fix typo in installation command for ocamlls (#1475)
Diffstat (limited to 'lua/lspconfig/lean3ls.lua')
0 files changed, 0 insertions, 0 deletions