issues
search
metanorma
/
metanorma-docker
Docker container for running the Metanorma toolchain
https://www.metanorma.com
5
stars
3
forks
source link
#120 remove idnits installation
#121
Closed
CAMOBAP
closed
2 years ago
CAMOBAP
commented
2 years ago
Metanorma PR checklist
❎ Breaking changes (list related PRs)
❎ Documentation update required (
create task for this
)
❎ External dependency introduced (
documentation update need
)
❎ Gem with native library introduced
ronaldtse
commented
2 years ago
Thanks!
Metanorma PR checklist