summaryrefslogtreecommitdiffstats
path: root/.gitignore
diff options
context:
space:
mode:
authorThomas Letan <lthms@soap.coffee>2020-07-12 10:26:48 +0200
committerThomas Letan <lthms@soap.coffee>2020-07-12 10:56:47 +0200
commitb85b9bc80bdb9b068ccfaffdfc975b8b0ba3a5de (patch)
treeff66f39ca7cfadbf997a04f242ea0abba35b4811 /.gitignore
parenta38a43028d05096369aa7bcec827bb6c08e3af8e (diff)
Various fixes here and there
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore2
1 files changed, 1 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore
index 6aac4b9..ffa58a7 100644
--- a/.gitignore
+++ b/.gitignore
@@ -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