diff options
| author | Thomas Letan <lthms@soap.coffee> | 2022-10-23 13:13:09 +0200 |
|---|---|---|
| committer | Thomas Letan <lthms@soap.coffee> | 2022-10-23 13:13:09 +0200 |
| commit | 05617fad8255248ee8ac8796e40a99529e1c8e8c (patch) | |
| tree | c367a6a316b49b82d52d066e3c8bb4e5e5e6f625 /.gitignore | |
| parent | Refine the theme to be more readable (diff) | |
Website reorg
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 50 |
1 files changed, 30 insertions, 20 deletions
@@ -21,24 +21,28 @@ 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--coq.html.stderr -logs/site--haskell.html.stderr logs/site--index.html.stderr -logs/site--meta.html.stderr -logs/site--miscellaneous.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--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.html.stderr +logs/site--posts--cleopatra--soupault.html.stderr logs/site--posts--CleopatraV1.html.stderr logs/site--posts--CoqffiEcho.html.stderr logs/site--posts--Coqffi.html.stderr logs/site--posts--CoqffiIntro.html.stderr +logs/site--posts--coq.html.stderr logs/site--posts--DiscoveringCommonLisp.html.stderr logs/site--posts--ExtensibleTypeSafeErrorHandling.html.stderr +logs/site--posts--haskell.html.stderr +logs/site--posts--index.html.stderr logs/site--posts--Ltac.html.stderr +logs/site--posts--meta.html.stderr +logs/site--posts--miscellaneous.html.stderr logs/site--posts--RankNTypesInOCaml.html.stderr logs/site--posts--StronglySpecifiedFunctions.html.stderr logs/site--posts--Thanks.html.stderr @@ -54,24 +58,28 @@ 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--coq.html.stdout -logs/site--haskell.html.stdout logs/site--index.html.stdout -logs/site--meta.html.stdout -logs/site--miscellaneous.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--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.html.stdout +logs/site--posts--cleopatra--soupault.html.stdout logs/site--posts--CleopatraV1.html.stdout logs/site--posts--CoqffiEcho.html.stdout logs/site--posts--Coqffi.html.stdout logs/site--posts--CoqffiIntro.html.stdout +logs/site--posts--coq.html.stdout logs/site--posts--DiscoveringCommonLisp.html.stdout logs/site--posts--ExtensibleTypeSafeErrorHandling.html.stdout +logs/site--posts--haskell.html.stdout +logs/site--posts--index.html.stdout logs/site--posts--Ltac.html.stdout +logs/site--posts--meta.html.stdout +logs/site--posts--miscellaneous.html.stdout logs/site--posts--RankNTypesInOCaml.html.stdout logs/site--posts--StronglySpecifiedFunctions.html.stdout logs/site--posts--Thanks.html.stdout @@ -83,23 +91,12 @@ node_modules out package-lock.json rss.json -site/cleopatra.html -site/cleopatra/commands.html -site/cleopatra/coq.html -site/cleopatra/dependencies.html -site/cleopatra/literate-programming.html -site/cleopatra/org.html -site/cleopatra/soupault.html -site/cleopatra/theme.html -site/coq.html site/files/coqffi-tutorial.tar.gz -site/haskell.html site/index.html -site/meta.html -site/miscellaneous.html site/news/August2022.html site/news/ColorlessThemes-0.2.html site/news/MonthlyRetrospectives.html +site/news/September2022.html site/opinions/MonadTransformers.html site/opinions/StackedGit.html site/opinions/index.html @@ -161,7 +158,20 @@ site/posts/StronglySpecifiedFunctionsRefine.vo site/posts/StronglySpecifiedFunctionsRefine.vok site/posts/StronglySpecifiedFunctionsRefine.vos site/posts/Thanks.html +site/posts/cleopatra.html +site/posts/cleopatra/commands.html +site/posts/cleopatra/coq.html +site/posts/cleopatra/dependencies.html +site/posts/cleopatra/literate-programming.html +site/posts/cleopatra/org.html +site/posts/cleopatra/soupault.html +site/posts/cleopatra/theme.html +site/posts/coq.html site/posts/deps.svg +site/posts/haskell.html +site/posts/index.html +site/posts/meta.html +site/posts/miscellaneous.html site/projects/index.html style.min.css # end generated files |