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-08-29 | jenkins | Merge branch 'release/5.9.0' 5.9.0 | blob | commitdiff | raw | diff to current |
2019-08-21 | Patrick Plitzner | ref #8235 Fix term tree sub menu and context menu | blob | commitdiff | raw | diff to current |
2019-08-19 | Patrick Plitzner | fix #8235 Create separate menu for term tree editors... | blob | commitdiff | raw | diff to current |