2020-11-20 | Katja Luther | move condensedDistribution preference to distribution... | blob | commitdiff | raw |
2020-04-08 | Katja Luther | fix #8725: move preference | blob | commitdiff | raw | diff to current |
2019-07-19 | jenkins | Merge branch 'release/5.8.0' 5.8.0 | blob | commitdiff | raw | diff to current |
2019-07-04 | Katja Luther | ref #8256: add table of all status preferences in prefe... | blob | commitdiff | raw | diff to current |