Skip to content

More annotation tweaks: remove unused ids, use rdf:li #353

Merged
sanjayankur31 merged 2 commits intodevelopmentfrom
feat/more-annotations
Apr 29, 2024
Merged

More annotation tweaks: remove unused ids, use `rdf:li` #353
sanjayankur31 merged 2 commits intodevelopmentfrom
feat/more-annotations

Commits

Commits on Apr 29, 2024