Unify build scripts; build.sh & build-src.sh - #4341

Closed

duncanbeevers wants to merge 2 commits into

duncanbeevers:unify-build-scripts

Commits on Feb 8, 2025

Combine build.sh and build-src.sh
duncanbeevers
committed
80a65ba
Materialize lists of editors per spec version
ralfhandl
authored and
duncanbeevers
committed
9c02f33