| Index: runtime/bin/vmservice/observatory/web/index_devtools.html
|
| diff --git a/runtime/bin/vmservice/observatory/web/index_devtools.html b/runtime/bin/vmservice/observatory/web/index_devtools.html
|
| deleted file mode 100644
|
| index 0ea7738da05b8a3acfc83748c41745ca8a94a292..0000000000000000000000000000000000000000
|
| --- a/runtime/bin/vmservice/observatory/web/index_devtools.html
|
| +++ /dev/null
|
| @@ -1,17 +0,0 @@
|
| -<!DOCTYPE html>
|
| -<html style="height: 100%">
|
| -<head>
|
| - <title>Dart VM Observatory</title>
|
| - <meta charset="utf-8">
|
| - <script src="packages/web_components/platform.js"></script>
|
| - <link rel="import" href="packages/polymer/polymer.html">
|
| - <script type="text/javascript" src="https://www.google.com/jsapi"></script>
|
| - <link rel="stylesheet" href="packages/observatory/src/elements/css/shared.css">
|
| - <link rel="import" href="packages/observatory/elements.html">
|
| - <script type="application/dart" src="main.dart"></script>
|
| - <script src="packages/browser/dart.js"></script>
|
| -</head>
|
| -<body style="height:100%">
|
| - <observatory-application devtools="true"></observatory-application>
|
| -</body>
|
| -</html>
|
|
|