summaryrefslogtreecommitdiffstats
path: root/.gitignore
diff options
context:
space:
mode:
authorThomas Letan <lthms@soap.coffee>2020-02-19 23:17:39 +0100
committerThomas Letan <lthms@soap.coffee>2020-02-19 23:30:43 +0100
commit45aaa238f938d8c93ad11e1322d41c3f84e5d266 (patch)
treedf0420742a067469c8c805f61dd2a408979897e7 /.gitignore
parentUse the correct font for interfaces in the titles (diff)
Name the toolchain and provide some context about its series
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore1
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index fbeb2b6..c7d1179 100644
--- a/.gitignore
+++ b/.gitignore
@@ -17,6 +17,7 @@ site/news/ColorlessThemes-0.2.html
site/posts/meta/Contents.html
site/posts/meta/Soupault.html
site/posts/Thanks.html
+site/posts/meta.html
site/posts/DiscoveringCommonLisp.html
site/posts/ExtensibleTypeSafeErrorHandling.html
site/posts/MonadTransformers.html