From b4a2c6e9cdda16c8bf4a154d0c90508538c33830 Mon Sep 17 00:00:00 2001
From: Thomas Letan <lthms@soap.coffee>
Date: Fri, 20 Mar 2020 21:31:21 +0100
Subject: =?UTF-8?q?Remove=20the=20=E2=80=9CAbout=E2=80=9D=20page=20and=20u?=
 =?UTF-8?q?se=20the=20=E2=80=9CWrite-up=E2=80=9D=20page=20as=20default=20i?=
 =?UTF-8?q?ndex?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 .gitignore | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index 985d6e8..72e0f9f 100644
--- a/.gitignore
+++ b/.gitignore
@@ -16,6 +16,7 @@ site/posts/ClightIntroduction.html
 site/posts/StronglySpecifiedFunctions.html
 site/posts/RewritingInCoq.html
 site/posts/Ltac101.html
+site/index.html
 site/news/ColorlessThemes-0.2.html
 site/cleopatra/Contents.html
 site/cleopatra/index.html
@@ -25,7 +26,6 @@ site/cleopatra/Soupault.html
 site/cleopatra/Contents/Org.html
 site/cleopatra/Contents/Coq.html
 site/posts/Thanks.html
-site/posts/index.html
 site/posts/DiscoveringCommonLisp.html
 site/posts/ExtensibleTypeSafeErrorHandling.html
 site/posts/MonadTransformers.html
-- 
cgit v1.2.3