From 97860a5266e7cbcce6dbeecd34abe237d3b4b58c Mon Sep 17 00:00:00 2001
From: eclipse-sirius-bot
 <138491446+eclipse-sirius-bot@users.noreply.github.com>
Date: Thu, 4 Apr 2024 23:53:41 +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 f35a477..685d20d 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: