summaryrefslogtreecommitdiffstats
path: root/.gitignore
diff options
context:
space:
mode:
authorThomas Letan <lthms@soap.coffee>2023-01-16 10:32:57 +0100
committerThomas Letan <lthms@soap.coffee>2023-01-16 10:32:57 +0100
commit61f047b700ee8289c85a1a63172af088bcf6bf1e (patch)
tree821ce88d3af2cd25fe9083878154f1e12c03dd58 /.gitignore
parentUpdate avatar (diff)
Second article on Stacked Git
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore3
1 files changed, 3 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index bb5896c..b4e5b7f 100644
--- a/.gitignore
+++ b/.gitignore
@@ -21,6 +21,7 @@ logs/site--news--November2022.html.stderr
logs/site--news--September2022.html.stderr
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--posts--cleopatra--commands.html.stderr
logs/site--posts--cleopatra--coq.html.stderr
@@ -57,6 +58,7 @@ logs/site--news--November2022.html.stdout
logs/site--news--September2022.html.stdout
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--posts--cleopatra--commands.html.stdout
logs/site--posts--cleopatra--coq.html.stdout
@@ -98,6 +100,7 @@ site/news/November2022.html
site/news/September2022.html
site/opinions/MonadTransformers.html
site/opinions/StackedGit.html
+site/opinions/StackedGit2.html
site/opinions/index.html
site/posts/.AlgebraicDatatypes.aux
site/posts/.ClightIntroduction.aux