Unverified Commit 936f24ed authored Oct 30, 2023 by Robert Schütz Committed by GitHub Oct 30, 2023

Revert "lean-language-server: init at 3.4.0"

parent d56f3b6a

pkgs/development/node-packages/node-packages.json

+0 −1

Original line number	Diff line number	Diff line
		@@ -153,7 +153,6 @@
		, "katex"
		, "keyoxide"
		, "lcov-result-merger"
		, "lean-language-server"
		, "lerna"
		, "less"
		, "less-plugin-clean-css"

pkgs/development/node-packages/node-packages.nix

+5170 −6165

File changed.

Preview size limit exceeded, changes collapsed.