2019-08-29 | jenkins | Merge branch 'release/5.9.0' 5.9.0 | blob | commitdiff | raw |
2019-08-21 | Patrick Plitzner | ref #8235 Fix term tree sub menu and context menu | blob | commitdiff | raw |
2019-02-14 | jenkins | Merge branch 'release/5.5.0' 5.5.0 | blob | commitdiff | raw | diff to current |
2018-11-22 | Patrick Plitzner | ref #7923 Extract common interface for feature tree... | blob | commitdiff | raw | diff to current |