search

metanorma / metanorma-docker

Docker container for running the Metanorma toolchain
https://www.metanorma.com
5 stars 3 forks source link

Rename branch to main #132

Closed ronaldtse closed 2 years ago

ronaldtse commented 2 years ago

Done and closing.