Chromium Code Reviews| 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 |