Merge branch 'release/5.19.0'
[taxeditor.git] / eu.etaxonomy.taxeditor.store / src / main / java / eu / etaxonomy / taxeditor / preference / TaxonPreferences.java
2019-02-14 jenkinsMerge branch 'release/5.5.0' 5.5.0
2019-01-21 Katja Lutherref #7163: minor
2019-01-21 Katja Lutherref #7163: restructure preferences and externalize...