diff options
| author | Thomas Letan <lthms@soap.coffee> | 2020-02-16 23:44:01 +0100 |
|---|---|---|
| committer | Thomas Letan <lthms@soap.coffee> | 2020-02-16 23:44:01 +0100 |
| commit | 2dc4e8b62cf0db0a9fccf7cfbee7a809d82081bc (patch) | |
| tree | c8db3f2a7887237b48689dd140417e2875d3cb10 /.gitignore | |
| parent | Add a revision table to the “Rewrite in Coq” article (diff) | |
Adopt a literate programming approach for the configuration
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -10,6 +10,7 @@ build/ # begin generated files site/posts.html site/news/ColorlessThemes-0.2.html +site/posts/SoupaultConfiguration.html site/posts/DiscoveringCommonLisp.html site/posts/ExtensibleTypeSafeErrorHandling.html site/posts/MonadTransformers.html |