diff options
-rw-r--r-- | packages/org.eclipse.epp.package.jee/plugin_customization.ini | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/packages/org.eclipse.epp.package.jee/plugin_customization.ini b/packages/org.eclipse.epp.package.jee/plugin_customization.ini index 35e5e0c4..a5b8a3bd 100644 --- a/packages/org.eclipse.epp.package.jee/plugin_customization.ini +++ b/packages/org.eclipse.epp.package.jee/plugin_customization.ini @@ -54,3 +54,8 @@ org.eclipse.equinox.p2.ui.sdk.scheduler/enabled=true org.eclipse.equinox.p2.ui.sdk.scheduler/schedule=on-schedule org.eclipse.equinox.p2.ui.sdk.scheduler/day=Every Tuesday org.eclipse.equinox.p2.ui.sdk.scheduler/hour=10\:00 AM + +# disable the Oomph preference recorder - bug 470430 +# https://bugs.eclipse.org/bugs/show_bug.cgi?id=470430 +org.eclipse.oomph.setup.ui/enable.preference.recorder=false + |