| 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 edb441529853dc8079dfa127d50953728938985b..89ff6f2e1a0b3fb6084215ed0088aed113924ed2 100644
|
| --- a/editor/tools/plugins/com.google.dart.tools.core/.options
|
| +++ b/editor/tools/plugins/com.google.dart.tools.core/.options
|
| @@ -40,7 +40,6 @@ 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/http_port =
|
| -com.google.dart.tools.core/experimental/analysisServer/incrementalResolution = false
|
| com.google.dart.tools.core/experimental/analysisServer/incrementalResolutionApi = false
|
| com.google.dart.tools.core/experimental/analysisServer/incrementalResolutionLog =
|
| com.google.dart.tools.core/experimental/analysisServer/logFile =
|
|
|