diff options
author | Thomas Letan <lthms@soap.coffee> | 2023-05-13 03:44:38 +0200 |
---|---|---|
committer | Thomas Letan <lthms@soap.coffee> | 2023-05-13 03:44:38 +0200 |
commit | 1f46d843e7a929015fa10875112bb63ead3b01d7 (patch) | |
tree | 7437578fe23cf496875c141759dc2aff0cbfd50c /.gitignore | |
parent | Integrate the neovim/lsp post to the Misc series (diff) |
The great rewrite of 2023
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 193 |
1 files changed, 6 insertions, 187 deletions
@@ -1,189 +1,8 @@ -*~ -.soupault-cache - -# begin generated files -.commands.deps -.coq.deps -.dependencies.deps -.emacs.d -.emacs.d/cache -.lia.cache -.literate-programming.deps -.org.deps -.soupault.deps -.theme.deps -_opam -logs/coqffi-tutorial.stderr -logs/site--index.html.stderr -logs/site--news--August2022.html.stderr -logs/site--news--CFTSpatialShell.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--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 -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 -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--NeoVimOcamlInterfacesAndLSP.html.stderr -logs/site--posts--RankNTypesInOCaml.html.stderr -logs/site--posts--StronglySpecifiedFunctions.html.stderr -logs/site--posts--Thanks.html.stderr -logs/site--projects--index.html.stderr -logs/start-server.stderr -logs/tangling-lp.stderr -logs/coqffi-tutorial.stdout -logs/site--index.html.stdout -logs/site--news--August2022.html.stdout -logs/site--news--CFTSpatialShell.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--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 -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 -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--NeoVimOcamlInterfacesAndLSP.html.stdout -logs/site--posts--RankNTypesInOCaml.html.stdout -logs/site--posts--StronglySpecifiedFunctions.html.stdout -logs/site--posts--Thanks.html.stdout -logs/site--projects--index.html.stdout -logs/start-server.stdout -logs/tangling-lp.stdout -lp/ -node_modules -out +out/ +_build/ +_opam/ +node_modules/ package-lock.json -rss.json -site/files/coqffi-tutorial.tar.gz -site/index.html -site/news/August2022.html -site/news/CFTSpatialShell.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 -site/opinions/StackedGit2.html -site/opinions/StackedGitPatchTheory.html -site/opinions/index.html -site/posts/.AlgebraicDatatypes.aux -site/posts/.ClightIntroduction.aux -site/posts/.LtacMetaprogramming.aux -site/posts/.LtacPatternMatching.aux -site/posts/.MixingLtacAndGallina.aux -site/posts/.RewritingInCoq.aux -site/posts/.StronglySpecifiedFunctionsProgram.aux -site/posts/.StronglySpecifiedFunctionsRefine.aux -site/posts/AlgebraicDatatypes.glob -site/posts/AlgebraicDatatypes.html -site/posts/AlgebraicDatatypes.vo -site/posts/AlgebraicDatatypes.vok -site/posts/AlgebraicDatatypes.vos -site/posts/CleopatraV1.html -site/posts/ClightIntroduction.glob -site/posts/ClightIntroduction.html -site/posts/ClightIntroduction.vo -site/posts/ClightIntroduction.vok -site/posts/ClightIntroduction.vos -site/posts/Coqffi.html -site/posts/CoqffiEcho.html -site/posts/CoqffiIntro.html -site/posts/DiscoveringCommonLisp.html -site/posts/ExtensibleTypeSafeErrorHandling.html -site/posts/Ltac.html -site/posts/LtacMetaprogramming.glob -site/posts/LtacMetaprogramming.html -site/posts/LtacMetaprogramming.vo -site/posts/LtacMetaprogramming.vok -site/posts/LtacMetaprogramming.vos -site/posts/LtacPatternMatching.glob -site/posts/LtacPatternMatching.html -site/posts/LtacPatternMatching.vo -site/posts/LtacPatternMatching.vok -site/posts/LtacPatternMatching.vos -site/posts/MixingLtacAndGallina.glob -site/posts/MixingLtacAndGallina.html -site/posts/MixingLtacAndGallina.vo -site/posts/MixingLtacAndGallina.vok -site/posts/MixingLtacAndGallina.vos -site/posts/NeoVimOcamlInterfacesAndLSP.html -site/posts/RankNTypesInOCaml.html -site/posts/RewritingInCoq.glob -site/posts/RewritingInCoq.html -site/posts/RewritingInCoq.vo -site/posts/RewritingInCoq.vok -site/posts/RewritingInCoq.vos -site/posts/StronglySpecifiedFunctions.html -site/posts/StronglySpecifiedFunctionsProgram.glob -site/posts/StronglySpecifiedFunctionsProgram.html -site/posts/StronglySpecifiedFunctionsProgram.vo -site/posts/StronglySpecifiedFunctionsProgram.vok -site/posts/StronglySpecifiedFunctionsProgram.vos -site/posts/StronglySpecifiedFunctionsRefine.glob -site/posts/StronglySpecifiedFunctionsRefine.html -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 +.soupault-cache/ style.min.css -# end generated files +site/img/*.png |