2021-01-28 | jenkins | Merge branch 'release/5.19.0' | blob | commitdiff | raw |
2020-12-15 | Katja Luther | ref #9338: restructure term menues and adapt handling | blob | commitdiff | raw |
2019-11-14 | jenkins | Merge branch 'release/5.11.0' 5.11.0 | blob | commitdiff | raw | diff to current |
2019-11-11 | Patrick Plitzner | Externalize fragment IDs | blob | commitdiff | raw | diff to current |
2017-11-08 | jenkins | Merge branch 'release/4.11.0' 4.11.0 | blob | commitdiff | raw | diff to current |
2017-10-27 | Patrick Plitzner | ref #6925 Export element IDs | blob | commitdiff | raw | diff to current |