| Index: editor/tools/plugins/com.google.dart.tools.core/.options
|
| diff --git a/editor/tools/plugins/com.google.dart.tools.core/.options b/editor/tools/plugins/com.google.dart.tools.core/.options
|
| index 783f138af6bd15533c059ac4a8d36934f548aba6..71c87d56ce1bb9ca9b0b84bef67e421407f12ced 100644
|
| --- a/editor/tools/plugins/com.google.dart.tools.core/.options
|
| +++ b/editor/tools/plugins/com.google.dart.tools.core/.options
|
| @@ -40,6 +40,7 @@ com.google.dart.tools.core/experimental/coverage = false
|
| com.google.dart.tools.core/experimental/analysisServer = false
|
| com.google.dart.tools.core/experimental/analysisServer/debug = false
|
| com.google.dart.tools.core/experimental/analysisServer/logFile =
|
| +com.google.dart.tools.core/experimental/noPubPackages = false
|
|
|
| com.google.dart.tools.core/experimental/pubInWinXP = false
|
|
|
|
|