Skip to content
GitLab

#41: first script to shrink OWLdoc files

Sabine Schröder requested to merge cherry-pick-fe61d08d into ontology

(cherry picked from commit fe61d08d) accidentally merged into master -- now cleaning up

Merge request reports