summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorSimon-Kor <52245124+Simon-Kor@users.noreply.github.com>2024-06-26 13:56:47 +0200
committerSimon-Kor <52245124+Simon-Kor@users.noreply.github.com>2024-06-26 13:56:47 +0200
commit0c82b10cd3ac1787838038b4b443f79cbb1612d9 (patch)
treedc99825759a1b93d81b2c6b0fd2750e16d950128 /.gitignore
parentc19415b970d502d662eb10c403728fa41cdbe03e (diff)
Working at the numbers.tex
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore1
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index cd7aa0f..656e54b 100644
--- a/.gitignore
+++ b/.gitignore
@@ -41,6 +41,7 @@ premseldump/
haddocks/
stack.yaml.lock
zf*.svg
+check/