hide tools section

soot-oss · Dec 18, 2023 · b9ce265 · b9ce265
1 parent bd47700
commit b9ce265
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/mkdocs.yml b/mkdocs.yml
@@ -7,7 +7,6 @@ nav:
     - Home: index.md
     - Announcements: announce.md
     - Design Decisions: whatsnew.md
-    - Used by: tools.md
 
     - Basics:
       - Installation: installation.md
@@ -30,6 +29,7 @@ nav:
     - More information:
       - Javadoc: /SootUp/apidocs
       - Troubleshooting & FAQ: faq.md
+      # - Based on SootUp: tools.md
 
 theme:
   palette: