nix/12.nixvim
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 1
12.nixvim/tests/test-sources/plugins/by-name/lean
History
Gaetan Lepage c2cc8b5a18 tests/plugins/leanls: disable plugins.lsp.leanls in disableLsp 
(cherry picked from commit 960c269f6d)
2025-11-29 02:04:26 +00:00
..
default.nix tests/plugins/leanls: disable plugins.lsp.leanls in disableLsp 2025-11-29 02:04:26 +00:00