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