From 1eafb15bba37196e260afcfe34b2992235e690b1 Mon Sep 17 00:00:00 2001
From: eclipse-jdt-bot <102322253+eclipse-jdt-bot@users.noreply.github.com>
Date: Thu, 4 Apr 2024 23:51:33 +0200
Subject: [PATCH] Updating file 'mkdocs.yml' with otterdog.

---
 mkdocs.yml | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/mkdocs.yml b/mkdocs.yml
index 1b2a095..f851b83 100644
--- a/mkdocs.yml
+++ b/mkdocs.yml
@@ -30,12 +30,8 @@ plugins:
 
 nav:
   - Overview: index.md
-  - configuration.md
   - playground.md
 
-not_in_nav: |
-  repo-*.md
-
 watch: []
 
 extra: