lean-language-server: init at 3.4.0

2023-10-26 06:40:55 -04:00 · 2023-10-26 06:40:55 -04:00 · 4835510078
commit 4835510078
parent a26197b4e5
2 changed files with 6258 additions and 5262 deletions
--- a/pkgs/development/node-packages/node-packages.json
+++ b/pkgs/development/node-packages/node-packages.json
@ -153,6 +153,7 @@
 , "katex"
 , "keyoxide"
 , "lcov-result-merger"
+, "lean-language-server"
 , "lerna"
 , "less"
 , "less-plugin-clean-css"
--- a/pkgs/development/node-packages/node-packages.nix
+++ b/pkgs/development/node-packages/node-packages.nix