Closed ghobona closed 1 year ago
Fixes https://github.com/opengeospatial/GeoPose/issues/77
The duplicated identifier was detected by the metanorma toolchain.
Since Metanorma version 1.5.4, this edit is required for the document to build.
Fixes https://github.com/opengeospatial/GeoPose/issues/77
The duplicated identifier was detected by the metanorma toolchain.
Since Metanorma version 1.5.4, this edit is required for the document to build.