Mention Bootlint in Getting Started docs under new Tools section

[skip sauce]
2026-06-05 16:42:29 +03:00 · 2014-09-23 18:21:12 -07:00
parent 93f4426fed
commit afde59ef87
3 changed files with 13 additions and 0 deletions
@@ -28,6 +28,12 @@
    <li><a href="#examples-experiments">Experiments</a></li>
  </ul>
 </li>
+<li>
+  <a href="#tools">Tools</a>
+  <ul class="nav">
+    <li><a href="#tools-bootlint">Bootlint</a></li>
+  </ul>
+</li>
 <li>
  <a href="#community">Community</a>
 </li>