New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

SVG Map: https://github.com/metanorma/metanorma/issues/160 #778

Merged

ronaldtse merged 3 commits into main from doc20240531

Jun 18, 2024

Contributor

opoudjis commented May 30, 2024

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

opoudjis requested a review from ronaldtse

May 30, 2024 14:41

opoudjis assigned ronaldtse

opoudjis and others added 3 commits

June 18, 2024 00:28


          SVG Map: metanorma/metanorma#160

7c64aa6


          chore: clean up svg image mapping

b1f9d1c


          chore: fix broken table

19d2760

ronaldtse force-pushed the doc20240531 branch from 798faf0 to 19d2760 Compare

June 18, 2024 02:10

ronaldtse merged commit d40767f into main

8 checks passed

ronaldtse deleted the doc20240531 branch

June 18, 2024 02:13

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet