annotate plugin_customization.ini @ 32:d7a43156a79b default tip

new tabs
author dwinter
date Mon, 10 Oct 2011 17:52:22 +0200
parents 6e7bb3467531
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
25
6e7bb3467531 new property view
dwinter
parents:
diff changeset
1 org.eclipse.ui/SHOW_PROGRESS_ON_STARTUP = false