Index: sdk/lib/profiler/profiler.dart |
diff --git a/sdk/lib/profiler/profiler.dart b/sdk/lib/profiler/profiler.dart |
deleted file mode 100644 |
index 84add7b10d4a7853c71ce659ec000eb6890b4d5e..0000000000000000000000000000000000000000 |
--- a/sdk/lib/profiler/profiler.dart |
+++ /dev/null |
@@ -1,14 +0,0 @@ |
-// Copyright (c) 2014, the Dart project authors. Please see the AUTHORS file |
-// for details. All rights reserved. Use of this source code is governed by a |
-// BSD-style license that can be found in the LICENSE file. |
- |
-/// Please see 'dart:developer'. |
-@Deprecated("Dart SDK 1.12") |
-library dart.profiler; |
- |
-export 'dart:developer' show getCurrentTag, |
- Counter, |
- Gauge, |
- Metric, |
- Metrics, |
- UserTag; |