2019-07-19 | jenkins | Merge branch 'release/5.8.0' 5.8.0 | blob | commitdiff | raw |
2019-07-04 | Katja Luther | ref #8256: add table of all status preferences in prefe... | blob | commitdiff | raw |
2019-06-27 | Katja Luther | ref #7920: fix delete of preferences | blob | commitdiff | raw | diff to current |
2019-06-04 | Katja Luther | merge hotfix5.7.3 into develop | blob | commitdiff | raw | diff to current |
2019-05-06 | jenkins | Merge branch 'release/5.7.0' into develop | blob | commitdiff | raw | diff to current |
2019-05-06 | jenkins | Merge branch 'release/5.7.0' 5.7.0 | blob | commitdiff | raw | diff to current |
2019-05-06 | Katja Luther | ref #8045: show possible entries for preferences in... | blob | commitdiff | raw | diff to current |
2019-05-03 | Katja Luther | ref #7920: adaptions for changing PreferenceCache | blob | commitdiff | raw | diff to current |
2019-04-29 | Katja Luther | ref #7920: add handlers and wizards for area specific... | blob | commitdiff | raw | diff to current |