diff options
| author | David Williams | 2013-03-12 19:55:18 +0000 |
|---|---|---|
| committer | David Williams | 2013-03-12 19:55:18 +0000 |
| commit | 38f1df944865879a3a3fd4c2577b04a02caf0aaa (patch) | |
| tree | 61e115430a976fb87a60cb88567b73c0c4c024ef | |
| parent | 24e7579dd1bfd2775d6c3bcb69d5c3800a203986 (diff) | |
| download | eclipse.platform.releng-38f1df944865879a3a3fd4c2577b04a02caf0aaa.tar.gz eclipse.platform.releng-38f1df944865879a3a3fd4c2577b04a02caf0aaa.tar.xz eclipse.platform.releng-38f1df944865879a3a3fd4c2577b04a02caf0aaa.zip | |
Bug 402693 - [CBI] Our repo is missing "o.e.jdt.core.compiler.batch"N20130318-2000N20130317-2000N20130316-1500N20130315-2000I20130319-1000I20130314-1330I20130313-2000I20130313-0800I20130312-2000
| -rw-r--r-- | features/master/feature.xml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/features/master/feature.xml b/features/master/feature.xml index 24f318ee..50c54f2f 100644 --- a/features/master/feature.xml +++ b/features/master/feature.xml @@ -48,6 +48,10 @@ download-size="0" install-size="0" version="0.0.0"/> + + <plugin + id="org.eclipse.jdt.core.compiler.batch" + version="0.0.0" /> </feature> |