| Index: runtime/observatory/lib/src/elements/library_view.html
|
| diff --git a/runtime/observatory/lib/src/elements/library_view.html b/runtime/observatory/lib/src/elements/library_view.html
|
| index 750e93ea56cb784553bcb7bc8d31e1af0ff63813..7c06f5b31d687051d63d70c9de6610fd9b389207 100644
|
| --- a/runtime/observatory/lib/src/elements/library_view.html
|
| +++ b/runtime/observatory/lib/src/elements/library_view.html
|
| @@ -20,7 +20,6 @@
|
| <library-nav-menu library="{{ library }}" last="{{ true }}"></library-nav-menu>
|
| <nav-refresh callback="{{ refreshCoverage }}" label="Refresh Coverage"></nav-refresh>
|
| <nav-refresh callback="{{ refresh }}"></nav-refresh>
|
| - <nav-control></nav-control>
|
| </nav-bar>
|
|
|
| <div class="content">
|
|
|