diff options
Diffstat (limited to 'java/eclipse-devel/files/patch-features-jdt-feature.xml')
| -rw-r--r-- | java/eclipse-devel/files/patch-features-jdt-feature.xml | 32 |
1 files changed, 32 insertions, 0 deletions
diff --git a/java/eclipse-devel/files/patch-features-jdt-feature.xml b/java/eclipse-devel/files/patch-features-jdt-feature.xml new file mode 100644 index 000000000000..a5865b096491 --- /dev/null +++ b/java/eclipse-devel/files/patch-features-jdt-feature.xml @@ -0,0 +1,32 @@ +--- features/org.eclipse.jdt/feature.xml.orig 2008-02-22 09:09:09.000000000 +0900 ++++ features/org.eclipse.jdt/feature.xml 2008-03-11 00:19:04.000000000 +0900 +@@ -52,29 +52,6 @@ + unpack="false"/> + + <plugin +- id="org.eclipse.jdt.apt.pluggable.core" +- download-size="0" +- install-size="0" +- version="0.0.0" +- unpack="false"/> +- +- <plugin +- id="org.eclipse.jdt.compiler.apt" +- download-size="0" +- install-size="0" +- version="0.0.0" +- fragment="true" +- unpack="false"/> +- +- <plugin +- id="org.eclipse.jdt.compiler.tool" +- download-size="0" +- install-size="0" +- version="0.0.0" +- fragment="true" +- unpack="false"/> +- +- <plugin + id="org.eclipse.jdt.core" + download-size="0" + install-size="0" |