diff options
author | Thomas Letan <lthms@soap.coffee> | 2020-02-29 08:52:10 +0100 |
---|---|---|
committer | Thomas Letan <lthms@soap.coffee> | 2020-02-29 08:52:10 +0100 |
commit | 9cc680e579d575605c0a1ff186ae2b6e5f9ce9da (patch) | |
tree | a861040c04ce697cfdf43a41601cbe04713c8b38 /.gitignore | |
parent | More theme tweaking (diff) |
Continue to work on soupault configuration
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -43,6 +43,7 @@ scripts/history.sh templates/history.html package.json scripts/katex.js +katex.mk coq.mk site/style/coq.sass .emacs |