2019-11-14 | jenkins | Merge branch 'release/5.11.0' 5.11.0 | blob | commitdiff | raw |
2019-10-24 | Katja Luther | ref #8613: add missing interfaces | blob | commitdiff | raw |
2017-11-08 | jenkins | Merge branch 'release/4.11.0' 4.11.0 | blob | commitdiff | raw | diff to current |
2017-09-29 | Katja Luther | ref #6159: disable descriptionElementDetails for distri... | blob | commitdiff | raw | diff to current |