2019-09-05 | jenkins | Merge branch 'hotfix/5.9.2' 5.9.2 | blob | commitdiff | raw |
2019-09-04 | Katja Luther | ref #8489: fix preference and term issues - continue | blob | commitdiff | raw |
2019-09-04 | Katja Luther | ref #8489: fix preference and term issues - continue | blob | commitdiff | raw |
2019-02-14 | jenkins | Merge branch 'release/5.5.0' 5.5.0 | blob | commitdiff | raw | diff to current |
2019-01-21 | Katja Luther | ref #7163: externalize strings in preferences | blob | commitdiff | raw | diff to current |
2018-11-20 | Katja Luther | ref #7849: harmonize admin and local preferences for... | blob | commitdiff | raw | diff to current |