| Index: editor/tools/plugins/com.google.dart.tools.update.core/plugin.properties
|
| ===================================================================
|
| --- editor/tools/plugins/com.google.dart.tools.update.core/plugin.properties (revision 19335)
|
| +++ editor/tools/plugins/com.google.dart.tools.update.core/plugin.properties (working copy)
|
| @@ -3,7 +3,7 @@
|
| # All Rights Reserved.
|
| #########################################
|
|
|
| -pluginName = Dart Editor Update Core Plugin
|
| +pluginName = Dart Update Core
|
| providerName = dartlang.org
|
|
|
| updateUrl = http://www.dartlang.org/editor/update/
|
|
|