diff options
author | Thomas Letan <lthms@soap.coffee> | 2020-02-26 21:43:49 +0100 |
---|---|---|
committer | Thomas Letan <lthms@soap.coffee> | 2020-02-26 21:43:49 +0100 |
commit | af723a50dbdf1b70a25631f86f2a63c1d6ea533c (patch) | |
tree | 5b9e91ad3d811d656ae6767db5bfdd978489d812 /.gitignore | |
parent | Set a width linked to the font size (diff) |
Improving the end of the Bootstrapping cleopatra document
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 20 |
1 files changed, 10 insertions, 10 deletions
@@ -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 |