2021-11-03 | jenkins | Merge branch 'release/5.28.0' 5.28.0 | blob | commitdiff | raw |
2021-11-02 | Katja Luther | ref #9838: change order of ui element creation and... | blob | commitdiff | raw |
2020-06-30 | jenkins | Merge branch 'release/5.16.0' 5.16.0 | blob | commitdiff | raw | diff to current |
2020-06-29 | Andreas Müller | cleanup | blob | commitdiff | raw | diff to current |
2018-02-15 | jenkins | Merge branch 'release/4.14.0' 4.14.0 | blob | commitdiff | raw | diff to current |
2018-02-15 | Patrick Plitzner | Rename class to avoid duplicate class names | blob | commitdiff | raw | diff to current |