2020-12-15 | Katja Luther | ref #9338: restructure term menues and adapt handling | blob | commitdiff | raw |
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 |