summaryrefslogtreecommitdiffstats
path: root/.gitignore
diff options
context:
space:
mode:
authorThomas Letan <lthms@soap.coffee>2020-02-23 17:22:51 +0100
committerThomas Letan <lthms@soap.coffee>2020-02-23 17:27:19 +0100
commit69f9af2bcec19fd7ae13ac07eda258b140917844 (patch)
treecccdc0f75affb83781aa48fb7b74b8ce5f23a7b8 /.gitignore
parentcleopatra is completely boostrapped (diff)
Ignore build.log
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore1
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index 245cce9..90013bb 100644
--- a/.gitignore
+++ b/.gitignore
@@ -52,4 +52,5 @@ site/style/coq.sass
site/style/coq.sass
site/style/org.sass
site/style/main.sass
+build.log
# begin generated files