From f0fb3fe51a10444dc50c0d31a9b203e98ceb4baa Mon Sep 17 00:00:00 2001
From: Ivan Lopes <ilopes@ad.inria.fr>
Date: Wed, 29 Nov 2023 10:07:24 +0100
Subject: [PATCH] rename

---
 main.html => index.html | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename main.html => index.html (100%)

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