From 30cbfd3c05f1c6798588a3a883a25c7bf491bdbc Mon Sep 17 00:00:00 2001
From: Hugo Costa <hugoncosta@gmail.com>
Date: Mon, 24 Dec 2018 17:46:54 +0000
Subject: [PATCH] actually add navbar

---
 _layouts/default.html | 1 +
 1 file changed, 1 insertion(+)

diff --git a/_layouts/default.html b/_layouts/default.html
index 5e0e966b..c5c8e258 100644
--- a/_layouts/default.html
+++ b/_layouts/default.html
@@ -144,6 +144,7 @@
                 <a class="dropdown-item" href="{{prefix}}#mobile_os">Mobile OS</a>
                 <a class="dropdown-item" href="{{prefix}}#aaddons">Android Privacy Add-ons</a>
                 <a class="dropdown-item" href="{{prefix}}#firmware">Router Firmware</a>
+                <a class="dropdown-item" href="{{prefix}}#linuxtools">Linux Tools</a>
             </div>
         </li>
         <li class="nav-item">