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 (default, Building default toolkit with humdrum, -c -M, *-hum.js*)

succeeded Oct 7, 2024 in 9m 2s