view plugin_customization.ini @ 32:d7a43156a79b default tip

new tabs
author dwinter
date Mon, 10 Oct 2011 17:52:22 +0200
parents 6e7bb3467531
children
line wrap: on
line source

org.eclipse.ui/SHOW_PROGRESS_ON_STARTUP = false