diff --git a/tool/tree-nav.html b/tool/tree-nav.html index 801aa73444..a1377d7b39 100644 --- a/tool/tree-nav.html +++ b/tool/tree-nav.html @@ -11,12 +11,11 @@