From c1493078e3ff16db8175a0da0439ca0aeb3f5422 Mon Sep 17 00:00:00 2001 From: Thomas Letan Date: Sat, 15 Feb 2020 00:41:49 +0100 Subject: Self hosting of Fira Sans and various small fixes --- .gitignore | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) (limited to '.gitignore') diff --git a/.gitignore b/.gitignore index fe3275d..9d9e78e 100644 --- a/.gitignore +++ b/.gitignore @@ -8,13 +8,13 @@ build/ *.html~ # begin generated files -site/posts.html -site/posts/DiscoveringCommonLisp.html site/posts/ExtensibleTypeSafeErrorHandling.html +site/posts/DiscoveringCommonLisp.html site/posts/MonadTransformers.html -site/posts/StronglySpecifiedFunctionsProgram.html -site/posts/MiniHTTPServer.html -site/posts/StronglySpecifiedFunctions.html +site/posts.html site/posts/RewritingInCoq.html +site/posts/StronglySpecifiedFunctions.html site/posts/Ltac101.html +site/posts/StronglySpecifiedFunctionsProgram.html +site/posts/MiniHTTPServer.html # begin generated files -- cgit v1.2.3