Skip to content

Allow more flexible reuse of annotations across different courses/exercises#5648

Merged
jorg-vr merged 6 commits intomainfrom feat/more-flexible-scopingAug 1, 2024

Commits

Commits on Jun 26, 2024

Commits on Jun 27, 2024

Commits on Aug 1, 2024