Commit bc7683ce authored by Michael Kohlhase's avatar Michael Kohlhase

redoing OWLDoc

parent e29f2086
Pipeline #452 passed with stage
in 15 seconds