diff options
author | Thomas Letan <lthms@soap.coffee> | 2020-07-12 10:26:48 +0200 |
---|---|---|
committer | Thomas Letan <lthms@soap.coffee> | 2020-07-12 10:56:47 +0200 |
commit | b85b9bc80bdb9b068ccfaffdfc975b8b0ba3a5de (patch) | |
tree | ff66f39ca7cfadbf997a04f242ea0abba35b4811 /.gitignore | |
parent | Benefit from cleopatra org-related functions to export org files (diff) |
Various fixes here and there
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -31,6 +31,7 @@ build.log .*.aux *.glob .lia.cache +site/posts/AlgebraicDatatypes.html site/posts/StronglySpecifiedFunctionsProgram.html site/posts/MiniHTTPServer.html site/posts/ClightIntroduction.html @@ -51,5 +52,4 @@ site/posts/MonadTransformers.html site/posts/CleopatraV1.html build/ site/style/main.css -site/style/main.sass # end generated files |