Skip to content

Merge pull request #3815 from rism-digital/develop-json-options #1584

Merge pull request #3815 from rism-digital/develop-json-options

Merge pull request #3815 from rism-digital/develop-json-options #1584

Annotations

3 warnings

Build JS toolkit (nohumdrum, Building toolkit without humdrum, -c -H -M, verovio-toolkit.js*)

succeeded Oct 7, 2024 in 6m 38s