2021-01-28 | jenkins | Merge branch 'release/5.19.0' | blob | commitdiff | raw |
2021-01-18 | Andreas Müller | cleanup | blob | commitdiff | raw |
2020-12-03 | jenkins | Merge branch 'release/5.18.0' | blob | commitdiff | raw | diff to current |
2020-09-25 | Katja Luther | ref #9190: rename webapp to local | blob | commitdiff | raw | diff to current |