diff options
author | Thomas Letan <lthms@soap.coffee> | 2021-03-28 00:03:41 +0100 |
---|---|---|
committer | Thomas Letan <lthms@soap.coffee> | 2021-03-28 14:19:29 +0200 |
commit | 495f9db0606b0ed09e6fac59dc32de4cdc8c0087 (patch) | |
tree | 82ea5c5e247c664de247a0f3818f393ffdb00067 /.gitignore | |
parent | Release of coqffi 1.0.0~beta4 (diff) |
2021 Spring redesign
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 29 |
1 files changed, 19 insertions, 10 deletions
@@ -5,32 +5,44 @@ _opam .cleopatra .emacs .lia.cache +_opam build.log -build/ +commands.mk coq.mk +dependencies.mk export-lp.el -katex.mk literate-programming.mk lp/ -node_modules/ +node_modules org.mk +out package-lock.json package.json +plugins/clean-up.lua +plugins/css.lua plugins/external-urls.lua -plugins/fix-org-urls.lua +plugins/series.lua plugins/urls-rewriting.lua +rss.json +scripts/css.sh scripts/export-org.el scripts/history.sh -scripts/katex.js scripts/packages.el +scripts/render-equations.js 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/ColorlessThemes-0.2.html site/opinions/MonadTransformers.html site/opinions/index.html @@ -93,13 +105,10 @@ site/posts/StronglySpecifiedFunctionsRefine.vos site/posts/Thanks.html site/posts/deps.svg site/projects/index.html -site/style/coq.sass -site/style/main.css -site/style/main.sass -site/style/org.sass -site/style/plugins.sass soupault.conf soupault.mk +style.css +style.min.css templates/history.html templates/main.html theme.mk |