diff options
-rw-r--r-- | features/org.eclipse.platform-feature/feature.xml | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/features/org.eclipse.platform-feature/feature.xml b/features/org.eclipse.platform-feature/feature.xml index aa59d205..5b502069 100644 --- a/features/org.eclipse.platform-feature/feature.xml +++ b/features/org.eclipse.platform-feature/feature.xml @@ -573,4 +573,12 @@ version="0.0.0" unpack="false"/> + <plugin + id="org.eclipse.core.filesystem.java7" + download-size="0" + install-size="0" + version="0.0.0" + fragment="true" + unpack="false"/> + </feature> |