2019-02-14 | jenkins | Merge branch 'release/5.5.0' 5.5.0 | blob | commitdiff | raw |
2018-11-09 | Patrick Plitzner | ref #7887 Use DTOs in term editor | blob | commitdiff | raw |
2017-11-08 | jenkins | Merge branch 'release/4.11.0' 4.11.0 | blob | commitdiff | raw | diff to current |
2017-11-08 | Patrick Plitzner | ref #6925 Open "editors" in editor area | blob | commitdiff | raw | diff to current |
2017-11-03 | Patrick Plitzner | ref #7038 Set part title for key | blob | commitdiff | raw | diff to current |
2017-09-29 | Patrick Plitzner | ref #6908 Migrate remaining polytomous context menus... | blob | commitdiff | raw | diff to current |
2017-09-28 | Patrick Plitzner | ref #6908 Migrate polytomous key list and graph editor | blob | commitdiff | raw | diff to current |
2017-09-28 | Patrick Plitzner | ref #6908 Migrate polytomous key list editor | blob | commitdiff | raw | diff to current |