From b211c7f5416420123b1c125d8f4754671e355c2e Mon Sep 17 00:00:00 2001 From: Tibor Leupold Date: Thu, 25 Feb 2021 23:11:15 -1000 Subject: [PATCH] Reapply file extension change Without the right extension, sphinx does not convert the file properly. I wanted to keep the filename to make the diff more sensible... --- docs/getting_started/{index.rst => index.md} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename docs/getting_started/{index.rst => index.md} (100%) diff --git a/docs/getting_started/index.rst b/docs/getting_started/index.md similarity index 100% rename from docs/getting_started/index.rst rename to docs/getting_started/index.md