| Index: runtime/observatory/lib/src/elements/metrics.html
|
| diff --git a/runtime/observatory/lib/src/elements/metrics.html b/runtime/observatory/lib/src/elements/metrics.html
|
| index 3eb940a1c0f162e71bbb7013812e9352397a96b8..049c990b312a9a9f8cf83cf86cd3b58d2ae1ed75 100644
|
| --- a/runtime/observatory/lib/src/elements/metrics.html
|
| +++ b/runtime/observatory/lib/src/elements/metrics.html
|
| @@ -19,7 +19,6 @@
|
| <nav-bar>
|
| <top-nav-menu last="{{ true }}"></top-nav-menu>
|
| <nav-refresh callback="{{ refresh }}"></nav-refresh>
|
| - <nav-control></nav-control>
|
| </nav-bar>
|
| <div class="flex-row">
|
| <div class="flex-item-20-percent">
|
|
|