| Index: runtime/bin/vmservice/client/deployed/web/index_devtools.html
|
| diff --git a/runtime/bin/vmservice/client/deployed/web/index.html b/runtime/bin/vmservice/client/deployed/web/index_devtools.html
|
| similarity index 99%
|
| copy from runtime/bin/vmservice/client/deployed/web/index.html
|
| copy to runtime/bin/vmservice/client/deployed/web/index_devtools.html
|
| index 94b6cc88d152a915e50ba8e2c420568b1bd066e4..f31a256bd651a819e602bc43100c5ac4ccfcbdff 100644
|
| --- a/runtime/bin/vmservice/client/deployed/web/index.html
|
| +++ b/runtime/bin/vmservice/client/deployed/web/index_devtools.html
|
| @@ -6,7 +6,7 @@
|
| <meta charset="utf-8">
|
| <link type="text/css" rel="stylesheet" href="bootstrap_css/css/bootstrap.min.css">
|
|
|
| - <script src="index.html_bootstrap.dart.js"></script>
|
| + <script src="index_devtools.html_bootstrap.dart.js"></script>
|
|
|
| </head>
|
| <body><polymer-element name="observatory-element">
|
| @@ -534,6 +534,6 @@
|
| </template>
|
|
|
| </polymer-element>
|
| - <observatory-application></observatory-application>
|
| + <observatory-application devtools="true"></observatory-application>
|
|
|
| </body></html>
|
|
|