diff options
author | Thomas Letan <lthms@soap.coffee> | 2020-02-19 23:17:39 +0100 |
---|---|---|
committer | Thomas Letan <lthms@soap.coffee> | 2020-02-19 23:30:43 +0100 |
commit | 45aaa238f938d8c93ad11e1322d41c3f84e5d266 (patch) | |
tree | df0420742a067469c8c805f61dd2a408979897e7 /.gitignore | |
parent | Use 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-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -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 |