| Index: dart/editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/DartToolsPlugin.java
|
| diff --git a/dart/editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/DartToolsPlugin.java b/dart/editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/DartToolsPlugin.java
|
| index 2a1b9fc7e26ad009ca4a72aa4661b3e35a415a84..8746c1e7a79d7c6510a169929c8ce801f6a742d7 100644
|
| --- a/dart/editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/DartToolsPlugin.java
|
| +++ b/dart/editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/DartToolsPlugin.java
|
| @@ -290,11 +290,7 @@ public class DartToolsPlugin extends AbstractUIPlugin {
|
| return null;
|
| }
|
|
|
| - String version = bundle.getHeaders().get(Constants.BUNDLE_VERSION);
|
| -
|
| - version = version.replace(".r", "_r").replace(".qual", "_qual");
|
| -
|
| - return version;
|
| + return bundle.getHeaders().get(Constants.BUNDLE_VERSION);
|
| }
|
|
|
| public static IWorkspace getWorkspace() {
|
|
|