2019-07-19 | jenkins | Merge branch 'release/5.8.0' 5.8.0 | blob | commitdiff | raw |
2019-06-04 | Katja Luther | merge hotfix5.7.3 into develop | blob | commitdiff | raw |
2019-05-23 | Patrick Plitzner | ref #6774 Initial implementation of OWL term export... | blob | commitdiff | raw |