2019-07-19 | jenkins | Merge branch 'release/5.8.0' 5.8.0 | blob | commitdiff | raw |
2019-07-17 | Patrick Plitzner | ref #8294 Move supplemental data source preferences... | blob | commitdiff | raw |
2019-07-17 | Patrick Plitzner | ref #8294 code cleaning | 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 |
2019-06-28 | Katja Luther | ref #8294: add preference page for id in namespace... | blob | commitdiff | raw | diff to current |