- added option for deep delete (with children) to DerivateEditor
[taxeditor.git] / eu.etaxonomy.taxeditor / plugin_customization.ini
1 org.eclipse.ui/SHOW_PROGRESS_ON_STARTUP = true