From fc5fc1608b3c18ccf49e9e6508058d7f7ba744e0 Mon Sep 17 00:00:00 2001
From: Erreur32 <Erreur32@users.noreply.github.com>
Date: Thu, 1 Mar 2018 15:52:33 +0100
Subject: [PATCH] Rename index.php to index.html

---
 docs/{index.php => index.html} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename docs/{index.php => index.html} (100%)

diff --git a/docs/index.php b/docs/index.html
similarity index 100%
rename from docs/index.php
rename to docs/index.html