2022-04-06 | jenkins | Merge branch 'release/5.31.0' 5.31.0 | blob | commitdiff | raw |
2022-04-01 | Katja Luther | ref #5821: fix term handling after adapting local prefe... | blob | commitdiff | raw |
2020-12-03 | jenkins | Merge branch 'release/5.18.0' | blob | commitdiff | raw | diff to current |
2020-11-27 | Andreas Müller | ref #9280 adapt TaxEditor to new Term.getLabel() | blob | commitdiff | raw | diff to current |
2020-11-27 | Andreas Müller | cleanup | blob | commitdiff | raw | diff to current |
2020-11-27 | Katja Luther | ref #8774: move all term editor menu items to vocabularies | blob | commitdiff | raw | diff to current |
2019-08-29 | jenkins | Merge branch 'release/5.9.0' 5.9.0 | 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 |