index.html: remove an old entry in the menu

Closes #2840.

index.html: remove an old entry in the menu
Closes #2840.
e62baa46 · Mathieu Giraud · 7f1e4dbc · e62baa46
Commit e62baa46 authored Nov 22, 2017 by Mathieu Giraud
Hide whitespace changes
Inline Side-by-side

Showing with 0 additions and 5 deletions

browser/index.html browser/index.html +0 -5

No files found.
--- a/browser/index.html
+++ b/browser/index.html
@@ -181,11 +181,6 @@
                            <span id="top_label"></span></br>
                            <input id="top_slider" type="range" min="5" max="100" step="5" value="10" onchange="m.displayTop(this.value)" />
                        </div>
-                        <div class="menu_box">
-                            tag visibility</br>
-                            <ul id="tagList">
-                            </ul>
-                        </div>
                    </div></div>
                </div>