From a353c8b3a87dd46f2973f67cd61fad7584fb006f Mon Sep 17 00:00:00 2001
From: eclipse-sirius-bot
 <138491446+eclipse-sirius-bot@users.noreply.github.com>
Date: Thu, 10 Oct 2024 16:00:31 +0200
Subject: [PATCH] Updating file 'mkdocs.yml' with otterdog.

---
 mkdocs.yml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/mkdocs.yml b/mkdocs.yml
index 685d20d..b4f70dd 100644
--- a/mkdocs.yml
+++ b/mkdocs.yml
@@ -30,7 +30,6 @@ plugins:
 
 nav:
   - Overview: index.md
-  - playground.md
 
 watch: []