2020-12-03 | jenkins | Merge branch 'release/5.18.0' | blob | commitdiff | raw |
2020-10-12 | Katja Luther | ref #8774: adapt term tree editors to usage of termDtos | blob | commitdiff | raw |
2019-11-14 | jenkins | Merge branch 'release/5.11.0' 5.11.0 | blob | commitdiff | raw | diff to current |
2019-11-01 | Patrick Plitzner | fix #8642 Add tree editor for rank, NamedArea and Prese... | blob | commitdiff | raw | diff to current |