summaryrefslogtreecommitdiffstats
path: root/.gitignore
diff options
context:
space:
mode:
authorThomas Letan <lthms@soap.coffee>2020-02-26 21:43:49 +0100
committerThomas Letan <lthms@soap.coffee>2020-02-26 21:43:49 +0100
commitaf723a50dbdf1b70a25631f86f2a63c1d6ea533c (patch)
tree5b9e91ad3d811d656ae6767db5bfdd978489d812 /.gitignore
parent5a8e9ac063b635fc0e4e0095890ac940a41d24c0 (diff)
Improving the end of the Bootstrapping cleopatra document
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore20
1 files changed, 10 insertions, 10 deletions
diff --git a/.gitignore b/.gitignore
index 85ba743..8b54ec9 100644
--- a/.gitignore
+++ b/.gitignore
@@ -10,24 +10,24 @@ build/
.*.aux
*.glob
.lia.cache
-site/posts/RewritingInCoq.html
-site/posts/StronglySpecifiedFunctions.html
-site/posts/Ltac101.html
site/posts/StronglySpecifiedFunctionsProgram.html
site/posts/MiniHTTPServer.html
+site/posts/StronglySpecifiedFunctions.html
+site/posts/RewritingInCoq.html
+site/posts/Ltac101.html
site/news/ColorlessThemes-0.2.html
+site/cleopatra/Contents.html
+site/cleopatra/index.html
+site/cleopatra/Bootstrap.html
site/cleopatra/Theme.html
site/cleopatra/Soupault.html
-site/cleopatra/Contents/Coq.html
site/cleopatra/Contents/Org.html
-site/cleopatra/Bootstrap.html
-site/cleopatra/Contents.html
-site/cleopatra/index.html
-site/posts/ExtensibleTypeSafeErrorHandling.html
-site/posts/DiscoveringCommonLisp.html
-site/posts/MonadTransformers.html
+site/cleopatra/Contents/Coq.html
site/posts/Thanks.html
site/posts/index.html
+site/posts/DiscoveringCommonLisp.html
+site/posts/ExtensibleTypeSafeErrorHandling.html
+site/posts/MonadTransformers.html
*.html~
theme.mk
templates/main.html