diff options
| author | Thomas Letan <lthms@soap.coffee> | 2020-11-24 11:27:56 +0100 |
|---|---|---|
| committer | Thomas Letan <lthms@soap.coffee> | 2020-11-24 11:27:56 +0100 |
| commit | 707325ed2187205e59b1ee1ff55fcd3c6cfef236 (patch) | |
| tree | 3a5c93a6cd00d14fa125df7d4a1cc8ccc3919291 /.gitignore | |
| parent | Rework header to make it more mobile friendly (diff) | |
Update gitignore file
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 22 |
1 files changed, 11 insertions, 11 deletions
@@ -32,28 +32,28 @@ build.log *.glob .lia.cache site/posts/AlgebraicDatatypes.html -site/posts/StronglySpecifiedFunctionsProgram.html +site/posts/RewritingInCoq.html site/posts/LtacPatternMatching.html +site/posts/MixingLtacAndGallina.html +site/posts/LtacMetaprogramming.html +site/posts/StronglySpecifiedFunctionsProgram.html site/posts/ClightIntroduction.html site/posts/StronglySpecifiedFunctionsRefine.html -site/posts/RewritingInCoq.html -site/posts/LtacMetaprogramming.html -site/posts/MixingLtacAndGallina.html -site/opinions/index.html +site/cleopatra.html site/opinions/MonadTransformers.html -site/index.html -site/news/ColorlessThemes-0.2.html +site/opinions/index.html site/cleopatra/soupault.html -site/cleopatra/theme.html -site/cleopatra/org.html site/cleopatra/coq.html -site/cleopatra.html +site/cleopatra/org.html +site/cleopatra/theme.html +site/index.html +site/news/ColorlessThemes-0.2.html site/projects/index.html site/posts/Thanks.html site/posts/DiscoveringCommonLisp.html site/posts/StronglySpecifiedFunctions.html -site/posts/ExtensibleTypeSafeErrorHandling.html site/posts/CleopatraV1.html +site/posts/ExtensibleTypeSafeErrorHandling.html site/posts/Ltac.html build/ site/style/main.css |