From b9cf517a7fe344f7a7ff861b775fb41e53044852 Mon Sep 17 00:00:00 2001 From: Raphael Forment Date: Sun, 20 Aug 2023 12:49:10 +0200 Subject: [PATCH] cosmetic changes --- index.html | 30 +++++++++++++++--------------- 1 file changed, 15 insertions(+), 15 deletions(-) diff --git a/index.html b/index.html index 470591e..b01c0b5 100644 --- a/index.html +++ b/index.html @@ -41,28 +41,28 @@ Topos -