diff options
| author | Gabriel Ebner <gebner@gebner.org> | 2022-02-10 19:53:55 +0100 |
|---|---|---|
| committer | Gabriel Ebner <gebner@gebner.org> | 2022-02-10 19:53:55 +0100 |
| commit | 15e3ee471265c1625ce30ee565dda713c2b377fa (patch) | |
| tree | abaf5cc9219c77e7c5a92e6419d48a5360cbfac9 /lua/lspconfig/server_configurations/java_language_server.lua | |
| parent | fix(leanls): only use lake serve if lakefile.lean exists (diff) | |
| download | nvim-lspconfig-15e3ee471265c1625ce30ee565dda713c2b377fa.tar nvim-lspconfig-15e3ee471265c1625ce30ee565dda713c2b377fa.tar.gz nvim-lspconfig-15e3ee471265c1625ce30ee565dda713c2b377fa.tar.bz2 nvim-lspconfig-15e3ee471265c1625ce30ee565dda713c2b377fa.tar.lz nvim-lspconfig-15e3ee471265c1625ce30ee565dda713c2b377fa.tar.xz nvim-lspconfig-15e3ee471265c1625ce30ee565dda713c2b377fa.tar.zst nvim-lspconfig-15e3ee471265c1625ce30ee565dda713c2b377fa.zip | |
fix(leanls): support new src/lean directory
Diffstat (limited to 'lua/lspconfig/server_configurations/java_language_server.lua')
0 files changed, 0 insertions, 0 deletions