diff options
author | Thomas Letan <lthms@soap.coffee> | 2023-01-26 14:43:19 +0100 |
---|---|---|
committer | Thomas Letan <lthms@soap.coffee> | 2023-01-26 14:43:31 +0100 |
commit | 3d9dc9393beb57fce4792b1fc6afd190743fb57c (patch) | |
tree | d25359c820e7567baf4999276b726f2b36735505 /.gitignore | |
parent | Rewording and proofreading (diff) |
Stacked Git patch theory new blogpost
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -23,6 +23,7 @@ logs/site--opinions--index.html.stderr logs/site--opinions--MonadTransformers.html.stderr logs/site--opinions--StackedGit2.html.stderr logs/site--opinions--StackedGit.html.stderr +logs/site--opinions--StackedGitPatchTheory.html.stderr logs/site--posts--cleopatra--commands.html.stderr logs/site--posts--cleopatra--coq.html.stderr logs/site--posts--cleopatra--dependencies.html.stderr @@ -60,6 +61,7 @@ logs/site--opinions--index.html.stdout logs/site--opinions--MonadTransformers.html.stdout logs/site--opinions--StackedGit2.html.stdout logs/site--opinions--StackedGit.html.stdout +logs/site--opinions--StackedGitPatchTheory.html.stdout logs/site--posts--cleopatra--commands.html.stdout logs/site--posts--cleopatra--coq.html.stdout logs/site--posts--cleopatra--dependencies.html.stdout @@ -101,6 +103,7 @@ site/news/September2022.html site/opinions/MonadTransformers.html site/opinions/StackedGit.html site/opinions/StackedGit2.html +site/opinions/StackedGitPatchTheory.html site/opinions/index.html site/posts/.AlgebraicDatatypes.aux site/posts/.ClightIntroduction.aux |