| commit | 5ea8dd22748c0cf3caab18491d47e2696a3326ee | [log] [tgz] |
|---|---|---|
| author | david_williams <david_williams> | Tue May 26 06:24:41 2009 +0000 |
| committer | david_williams <david_williams> | Tue May 26 06:24:41 2009 +0000 |
| tree | a4661a8844294d21b1994ab20a96256afc3cee38 | |
| parent | a549c873d3802f5a33f057fd7e13a5cf2f27a83b [diff] [blame] |
changing some id's and names
diff --git a/features/org.eclipse.wtp.jee.feature/plugin_customization.ini b/features/org.eclipse.wtp.jee.feature/plugin_customization.ini new file mode 100644 index 0000000..333fab9 --- /dev/null +++ b/features/org.eclipse.wtp.jee.feature/plugin_customization.ini
@@ -0,0 +1 @@ +org.eclipse.ui/SHOW_PROGRESS_ON_STARTUP = true