2020-12-03 | jenkins | Merge branch 'release/5.18.0' | blob | commitdiff | raw |
2020-08-21 | Andreas Müller | ref #9204 upgrade and remove further libraries in taxed... | blob | commitdiff | raw |
2020-04-08 | jenkins | Merge branch 'release/5.14.0' 5.14.0 | blob | commitdiff | raw | diff to current |
2020-04-07 | Katja Luther | fix #8943: fix handling of term preferences in combo... | blob | commitdiff | raw | diff to current |
2020-03-23 | jenkins | Merge branch 'release/5.13.0' 5.13.0 | blob | commitdiff | raw | diff to current |
2020-02-13 | Katja Luther | ref #8562: continue work on preference pages | blob | commitdiff | raw | diff to current |
2019-11-14 | jenkins | Merge branch 'release/5.11.0' 5.11.0 | blob | commitdiff | raw | diff to current |
2019-09-26 | Katja Luther | ref #8568: performance issues for term and voc preferen... | blob | commitdiff | raw | diff to current |
2019-09-26 | Katja Luther | ref #8568: performance issues for term and voc preferen... | blob | commitdiff | raw | diff to current |