Unverified Commit 6881ad80 authored Oct 30, 2023 by Ben Siraphob Committed by GitHub Oct 30, 2023

Merge pull request #185560 from DieracDelta/jr/lean-lsp

lean-language-server: init at 3.4.0

parents d3db35f6 48355100

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

+1 −0

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

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

+6165 −5170

File changed.

Preview size limit exceeded, changes collapsed.