2023-01-26 | Katja Luther | ref #10221: code cleaning | blob | commitdiff | raw |
2019-08-29 | jenkins | Merge branch 'release/5.9.0' 5.9.0 | blob | commitdiff | raw |
2019-08-02 | Katja Luther | ref #8385: fixes in preferences - getDefaults() for... | blob | commitdiff | raw |