Index: editor/tools/plugins/com.google.dart.tools.core/.options |
=================================================================== |
--- editor/tools/plugins/com.google.dart.tools.core/.options (revision 1856) |
+++ editor/tools/plugins/com.google.dart.tools.core/.options (working copy) |
@@ -1,4 +1,5 @@ |
com.google.dart.tools.core/debug/build = false |
+com.google.dart.tools.core/debug/dartlib = false |
com.google.dart.tools.core/debug/warmup = false |
com.google.dart.tools.core/bleedingEdge = false |