Index: editor/tools/plugins/com.google.dart.tools.core/plugin.xml |
=================================================================== |
--- editor/tools/plugins/com.google.dart.tools.core/plugin.xml (revision 1856) |
+++ editor/tools/plugins/com.google.dart.tools.core/plugin.xml (working copy) |
@@ -1,7 +1,6 @@ |
<?xml version="1.0" encoding="UTF-8"?> |
<?eclipse version="3.2"?> |
<plugin> |
- <extension-point id="libraries" name="Dart Libraries" schema="schema/libraries.exsd"/> |
<extension-point id="workingCopyOwner" name="Working Copy Owner" schema="schema/workingCopyOwner.exsd"/> |
<extension |