Merge branch 'develop' of https://dev.e-taxonomy.eu/git/taxeditor into develop
[taxeditor.git] / eu.etaxonomy.taxeditor / plugin_customization.ini
1 org.eclipse.ui/SHOW_PROGRESS_ON_STARTUP = true