From cdbe01b6cf3774ae1b7e394b2cee3fe492af86ff Mon Sep 17 00:00:00 2001 From: eclipse-store-bot <137325530+eclipse-store-bot@users.noreply.github.com> Date: Thu, 4 Apr 2024 23:56:19 +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 75f88dd..2a2a409 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: