Updating file 'mkdocs.yml' with otterdog.

eclipse-4diac-bot · eclipse-4diac-bot · commit 6b27b31a6948 · 2024-10-10T15:55:46.000+02:00
diff --git a/mkdocs.yml b/mkdocs.yml
@@ -30,7 +30,6 @@ plugins:
 
 nav:
   - Overview: index.md
-  - playground.md
 
 watch: []
 
