Skip to content

remove domain from is_a, mixin, mixins per ticket 1261#192

Merged
cmungall merged 2 commits intomainfrom issue_1261Apr 2, 2024

Commits

Commits on Mar 29, 2024