diff options
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 31 |
1 files changed, 15 insertions, 16 deletions
@@ -13,24 +13,23 @@ .theme.deps _opam logs/coqffi-tutorial.stderr -logs/site--cleopatra--commands.html.stderr -logs/site--cleopatra--coq.html.stderr -logs/site--cleopatra--dependencies.html.stderr -logs/site--cleopatra.html.stderr -logs/site--cleopatra--literate-programming.html.stderr -logs/site--cleopatra--org.html.stderr -logs/site--cleopatra--soupault.html.stderr -logs/site--cleopatra--theme.html.stderr logs/site--index.html.stderr logs/site--news--August2022.html.stderr logs/site--news--ColorlessThemes-0.2.html.stderr logs/site--news--MonthlyRetrospectives.html.stderr +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--StackedGit.html.stderr +logs/site--posts--cleopatra--commands.html.stderr +logs/site--posts--cleopatra--coq.html.stderr +logs/site--posts--cleopatra--dependencies.html.stderr logs/site--posts--cleopatra.html.stderr +logs/site--posts--cleopatra--literate-programming.html.stderr +logs/site--posts--cleopatra--org.html.stderr logs/site--posts--cleopatra--soupault.html.stderr +logs/site--posts--cleopatra--theme.html.stderr logs/site--posts--CleopatraV1.html.stderr logs/site--posts--CoqffiEcho.html.stderr logs/site--posts--Coqffi.html.stderr @@ -50,24 +49,23 @@ logs/site--projects--index.html.stderr logs/start-server.stderr logs/tangling-lp.stderr logs/coqffi-tutorial.stdout -logs/site--cleopatra--commands.html.stdout -logs/site--cleopatra--coq.html.stdout -logs/site--cleopatra--dependencies.html.stdout -logs/site--cleopatra.html.stdout -logs/site--cleopatra--literate-programming.html.stdout -logs/site--cleopatra--org.html.stdout -logs/site--cleopatra--soupault.html.stdout -logs/site--cleopatra--theme.html.stdout logs/site--index.html.stdout logs/site--news--August2022.html.stdout logs/site--news--ColorlessThemes-0.2.html.stdout logs/site--news--MonthlyRetrospectives.html.stdout +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--StackedGit.html.stdout +logs/site--posts--cleopatra--commands.html.stdout +logs/site--posts--cleopatra--coq.html.stdout +logs/site--posts--cleopatra--dependencies.html.stdout logs/site--posts--cleopatra.html.stdout +logs/site--posts--cleopatra--literate-programming.html.stdout +logs/site--posts--cleopatra--org.html.stdout logs/site--posts--cleopatra--soupault.html.stdout +logs/site--posts--cleopatra--theme.html.stdout logs/site--posts--CleopatraV1.html.stdout logs/site--posts--CoqffiEcho.html.stdout logs/site--posts--Coqffi.html.stdout @@ -96,6 +94,7 @@ site/index.html site/news/August2022.html site/news/ColorlessThemes-0.2.html site/news/MonthlyRetrospectives.html +site/news/November2022.html site/news/September2022.html site/opinions/MonadTransformers.html site/opinions/StackedGit.html |