Skip to content

move font manifests for metanorma-generic to config: https://github.c…#804

Merged
ronaldtse merged 2 commits intomainfrom doc20240811Aug 23, 2024

Commits

Commits on Aug 23, 2024