diff options
author | Thomas Letan <lthms@soap.coffee> | 2020-08-27 20:31:38 +0200 |
---|---|---|
committer | Thomas Letan <lthms@soap.coffee> | 2020-08-27 20:31:38 +0200 |
commit | e456e7c3a4814373ada40d0c69c870a656baeb29 (patch) | |
tree | 4310dcdbb5629b75040b952a2b2305b7c5507321 /.gitignore | |
parent | Add an (empty) projects page (diff) |
Add a page to display my keystrokes reporting
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 22 |
1 files changed, 11 insertions, 11 deletions
@@ -31,26 +31,26 @@ build.log .*.aux *.glob .lia.cache -site/posts/RewritingInCoq.html -site/posts/StronglySpecifiedFunctions.html site/posts/AlgebraicDatatypes.html -site/posts/MixingLtacAndGallina.html -site/posts/Ltac101.html -site/posts/ClightIntroduction.html site/posts/StronglySpecifiedFunctionsProgram.html -site/projects.html +site/posts/ClightIntroduction.html +site/posts/StronglySpecifiedFunctions.html +site/posts/RewritingInCoq.html +site/posts/Ltac101.html +site/posts/MixingLtacAndGallina.html +site/index.html site/news/ColorlessThemes-0.2.html site/cleopatra/soupault.html +site/cleopatra/theme.html site/cleopatra/org.html site/cleopatra/coq.html -site/cleopatra/theme.html -site/posts/ExtensibleTypeSafeErrorHandling.html +site/cleopatra.html +site/projects/index.html +site/posts/Thanks.html site/posts/DiscoveringCommonLisp.html +site/posts/ExtensibleTypeSafeErrorHandling.html site/posts/MonadTransformers.html site/posts/CleopatraV1.html -site/posts/Thanks.html -site/cleopatra.html -site/index.html build/ site/style/main.css # end generated files |