diff options
| author | Thomas Letan <lthms@soap.coffee> | 2020-08-30 21:34:09 +0200 |
|---|---|---|
| committer | Thomas Letan <lthms@soap.coffee> | 2020-08-30 21:35:13 +0200 |
| commit | 4393865bb75e4b89b1ea9b07c515c7d55505ad1a (patch) | |
| tree | e01b3c7d9ea745858f3a09226ddf50409b528ee9 /.gitignore | |
| parent | Start the documentation of the theme build process (diff) | |
Introducing the Opinions page
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -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/ |