2018-05-17 | jenkins | Merge branch 'release/5.0.0' 5.0.0 | blob | commitdiff | raw |
2018-04-23 | Andreas Müller | ref #6241 change @date to @since | blob | commitdiff | raw |
2016-12-05 | jenkins | Merge branch 'release/4.4.0' 4.4.0 | blob | commitdiff | raw | diff to current |
2016-12-01 | Andreas Kohlbecker | ref #2985 portal controller for named areas | blob | commitdiff | raw | diff to current |