From b85b9bc80bdb9b068ccfaffdfc975b8b0ba3a5de Mon Sep 17 00:00:00 2001 From: Thomas Letan Date: Sun, 12 Jul 2020 10:26:48 +0200 Subject: Various fixes here and there --- .gitignore | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to '.gitignore') 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 -- cgit v1.2.3