From 4393865bb75e4b89b1ea9b07c515c7d55505ad1a Mon Sep 17 00:00:00 2001
From: Thomas Letan <lthms@soap.coffee>
Date: Sun, 30 Aug 2020 21:34:09 +0200
Subject: Introducing the Opinions page

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

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index 1907ea8..678fb8b 100644
--- a/.gitignore
+++ b/.gitignore
@@ -39,6 +39,8 @@ site/posts/StronglySpecifiedFunctions.html
 site/posts/RewritingInCoq.html
 site/posts/LtacMetaprogramming.html
 site/posts/MixingLtacAndGallina.html
+site/opinions/index.html
+site/opinions/MonadTransformers.html
 site/index.html
 site/news/ColorlessThemes-0.2.html
 site/cleopatra/soupault.html
@@ -50,7 +52,6 @@ site/projects/index.html
 site/posts/Thanks.html
 site/posts/DiscoveringCommonLisp.html
 site/posts/ExtensibleTypeSafeErrorHandling.html
-site/posts/MonadTransformers.html
 site/posts/CleopatraV1.html
 site/posts/Ltac.html
 build/
-- 
cgit v1.2.3