Updating file 'mkdocs.yml' with otterdog.

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