remove custom battle types section

Algorithmic-Battle · Jan 5, 2024 · fd1a327 · fd1a327
1 parent 5b9e6cc
commit fd1a327
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/mkdocs.yml b/mkdocs.yml
@@ -131,8 +131,6 @@ nav:
       - instructor/problem/advanced.md
       - instructor/problem/annotations.md
       - instructor/problem/io.md
-    - Other Topics:
-      - instructor/battles.md
   - API Reference:
     - api/index.md
     - api/battle.md