From f4a27022da952ed78f0f4c385b7935bc1423ed99 Mon Sep 17 00:00:00 2001
From: eclipse-glsp-bot <57175764+eclipse-glsp-bot@users.noreply.github.com>
Date: Thu, 10 Oct 2024 15:54:13 +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 4c53934..99b8903 100644
--- a/mkdocs.yml
+++ b/mkdocs.yml
@@ -30,7 +30,6 @@ plugins:
 
 nav:
   - Overview: index.md
-  - playground.md
 
 watch: []