diff options
Diffstat (limited to 'java/eclipse-devel/files/patch-features-org.eclipse.platform.source-feature.xml')
| -rw-r--r-- | java/eclipse-devel/files/patch-features-org.eclipse.platform.source-feature.xml | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/java/eclipse-devel/files/patch-features-org.eclipse.platform.source-feature.xml b/java/eclipse-devel/files/patch-features-org.eclipse.platform.source-feature.xml deleted file mode 100644 index d1b022b59f3a..000000000000 --- a/java/eclipse-devel/files/patch-features-org.eclipse.platform.source-feature.xml +++ /dev/null @@ -1,10 +0,0 @@ ---- features/org.eclipse.platform.source/feature.xml.orig 2008-09-25 19:28:09.000000000 -0400 -+++ features/org.eclipse.platform.source/feature.xml 2008-09-25 19:27:48.000000000 -0400 -@@ -67,6 +67,7 @@ - <plugin id="org.eclipse.update.ui.source" version="3.2.100.v20080318" unpack="false"/> - <plugin id="org.eclipse.ui.workbench.compatibility.source" version="3.2.0.I20080509-2000" unpack="false"/> - <plugin id="org.eclipse.update.core.linux.source" version="3.2.0.v20080422" os="linux" unpack="false"/> -+ <plugin id="org.eclipse.update.core.freebsd.source" version="3.2.0.v20080422" os="freebsd" unpack="false"/> - <plugin id="org.eclipse.update.core.win32.source" version="3.2.100.v20080107" os="win32" unpack="false"/> - <plugin id="org.eclipse.ui.views.properties.tabbed.source" version="3.4.1.M20080730-0800" unpack="false"/> - <plugin id="org.eclipse.equinox.security.source" version="1.0.1.R34x_v20080721" unpack="false"/> |