Merge pull request #264468 from NixOS/revert-185560-jr/lean-lsp

Revert "lean-language-server: init at 3.4.0"
2023-10-30 20:29:30 -04:00 · 2023-10-30 20:29:30 -04:00 · 4550ecb384
commit 4550ecb384
parent 8bf37c6099 936f24ed00
2 changed files with 5228 additions and 6224 deletions
--- a/pkgs/development/node-packages/node-packages.json
+++ b/pkgs/development/node-packages/node-packages.json
@ -153,7 +153,6 @@
 , "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