Merge branch 'develop' of https://dev.e-taxonomy.eu/git/taxeditor into develop
[taxeditor.git] / eu.etaxonomy.taxeditor / plugin_customization.ini
2011-07-14 n.hoffmannBuckminster is dead, long live Tycho. The complete...