Index: editor/tools/plugins/com.google.dart.tools.debug.core/plugin.properties |
=================================================================== |
--- editor/tools/plugins/com.google.dart.tools.debug.core/plugin.properties (revision 15120) |
+++ editor/tools/plugins/com.google.dart.tools.debug.core/plugin.properties (working copy) |
@@ -6,6 +6,6 @@ |
pluginName = Dart Debug Core Plugin |
providerName = dartlang.org |
-launchconfig.server.name = Dart Command-line launch |
+launchconfig.server.name = Dart command-line launch |
launchconfig.dartium.name = Dartium launch |