| Index: editor/tools/plugins/com.google.dart.tools.debug.core/plugin.properties
|
| ===================================================================
|
| --- editor/tools/plugins/com.google.dart.tools.debug.core/plugin.properties (revision 19335)
|
| +++ editor/tools/plugins/com.google.dart.tools.debug.core/plugin.properties (working copy)
|
| @@ -3,7 +3,7 @@
|
| # All Rights Reserved.
|
| #########################################
|
|
|
| -pluginName = Dart Debug Core Plugin
|
| +pluginName = Dart Debug Core
|
| providerName = dartlang.org
|
|
|
| launchconfig.server.name = Dart command-line launch
|
|
|