| 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
|
|
|