From b35f2a86a689fea55e7a4a22aa2d291e218dd610 Mon Sep 17 00:00:00 2001 From: Martin Delille Date: Fri, 24 Apr 2020 21:21:17 +0200 Subject: [PATCH] Rename "Home" to "index" in the doc (#851) This will allow hosting as Github Pages. --- docs/{Home.md => index.md} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename docs/{Home.md => index.md} (100%) diff --git a/docs/Home.md b/docs/index.md similarity index 100% rename from docs/Home.md rename to docs/index.md