Remove outdated Makefiles + update manifest + update CI configurations - Githubissues

metanorma / mn-samples-ogc

Metanorma for OGC sample documents

1 stars 2 forks source link

Remove outdated Makefiles + update manifest + update CI configurations #118

Closed CAMOBAP closed 3 years ago

CAMOBAP commented 3 years ago

Separate issue reported https://github.com/metanorma/mn-samples-ogc/issues/119