Converted Observatory library-nav-menu element

runtime/observatory/lib/src/elements/nav_bar.dart

Index: runtime/observatory/lib/src/elements/nav_bar.dart
diff --git a/runtime/observatory/lib/src/elements/nav_bar.dart b/runtime/observatory/lib/src/elements/nav_bar.dart
deleted file mode 100644
index 005a5d91d7dc75258d0063ab9be3ee4fb7e2c3db..0000000000000000000000000000000000000000
--- a/runtime/observatory/lib/src/elements/nav_bar.dart
+++ /dev/null
@@ -1,17 +0,0 @@
-// Copyright (c) 2013, 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.
-
-library nav_bar_element;
-
-import 'observatory_element.dart';
-import 'package:observatory/service.dart';
-import 'package:polymer/polymer.dart';
-
-@CustomTag('library-nav-menu')
-class LibraryNavMenuElement extends ObservatoryElement {
-  @published Library library;
-  @published bool last = false;
-
-  LibraryNavMenuElement.created() : super.created();
-}