summaryrefslogtreecommitdiffstats
path: root/.gitignore
diff options
context:
space:
mode:
authorThomas Letan <lthms@soap.coffee>2020-02-29 08:52:10 +0100
committerThomas Letan <lthms@soap.coffee>2020-02-29 08:52:10 +0100
commit9cc680e579d575605c0a1ff186ae2b6e5f9ce9da (patch)
treea861040c04ce697cfdf43a41601cbe04713c8b38 /.gitignore
parent9a0fef2277153960ce9ed6b2dea3a37c91bfc27d (diff)
Continue to work on soupault configuration
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore1
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index 8b54ec9..7cb6118 100644
--- a/.gitignore
+++ b/.gitignore
@@ -43,6 +43,7 @@ scripts/history.sh
templates/history.html
package.json
scripts/katex.js
+katex.mk
coq.mk
site/style/coq.sass
.emacs