| Index: editor/tools/features/com.google.dart.tools.eclipse.platform.feature/feature.xml
|
| diff --git a/editor/tools/features/com.google.dart.tools.eclipse.platform.feature/feature.xml b/editor/tools/features/com.google.dart.tools.eclipse.platform.feature/feature.xml
|
| index a514885ffd3a3d80bd0efa70c781cc00d219a889..e44f33a45865a80492a31ee5b5c475afb8332342 100755
|
| --- a/editor/tools/features/com.google.dart.tools.eclipse.platform.feature/feature.xml
|
| +++ b/editor/tools/features/com.google.dart.tools.eclipse.platform.feature/feature.xml
|
| @@ -886,31 +886,10 @@
|
|
|
| <!-- The next four are required by org.eclipse.ltk.ui.refactoring -->
|
| <plugin
|
| - id="org.eclipse.ui.navigator"
|
| - download-size="0"
|
| - install-size="0"
|
| - version="0.0.0"
|
| - unpack="false"/>
|
| -
|
| - <plugin
|
| id="org.eclipse.compare"
|
| download-size="0"
|
| install-size="0"
|
| version="0.0.0"
|
| unpack="false"/>
|
| -
|
| - <plugin
|
| - id="org.eclipse.team.core"
|
| - download-size="0"
|
| - install-size="0"
|
| - version="0.0.0"
|
| - unpack="false"/>
|
| -
|
| - <plugin
|
| - id="org.eclipse.team.ui"
|
| - download-size="0"
|
| - install-size="0"
|
| - version="0.0.0"
|
| - unpack="false"/>
|
|
|
| </feature>
|
|
|