From a2c1462675da639d5de1a9d0f881db4a55cd917f Mon Sep 17 00:00:00 2001 From: Marcus Efraimsson Date: Tue, 2 Jul 2019 18:06:02 +0200 Subject: [PATCH] Docs: Fix developing plugins index page (#17877) Fixes #17874 --- docs/sources/plugins/developing/{index.md => _index.md} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename docs/sources/plugins/developing/{index.md => _index.md} (100%) diff --git a/docs/sources/plugins/developing/index.md b/docs/sources/plugins/developing/_index.md similarity index 100% rename from docs/sources/plugins/developing/index.md rename to docs/sources/plugins/developing/_index.md