2020-03-09 | Katja Luther | ref #8562: ui issues in preferences | blob | commitdiff | raw |
2019-09-23 | jenkins | Merge branch 'release/5.10.0' | blob | commitdiff | raw | diff to current |
2019-09-13 | Katja Luther | ref #8489: adapt commonname named area voc selection... | blob | commitdiff | raw | diff to current |