Skip to content

Add <staff-details><staff-size> to API.#283

Open
rpatters1 wants to merge 6 commits into
webern:mainfrom
rpatters1:add-staff-size-to-api
Open

Add <staff-details><staff-size> to API.#283
rpatters1 wants to merge 6 commits into
webern:mainfrom
rpatters1:add-staff-size-to-api

Commits

Commits on Jun 30, 2026

Commits on Jul 1, 2026