aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorJaro <jarorutjes07@gmail.com>2024-10-01 09:54:41 +0200
committerJaro <jarorutjes07@gmail.com>2024-10-01 09:54:41 +0200
commit14f0f8c62a2914bdbbb8d9d90f65ba4dbdffd674 (patch)
treeef9ec6a77e52b8b6eae386f39ce71f9582669832 /.gitignore
parentc191f5e193e3ff5ce886b0fbe1efe8d7ddd04183 (diff)
parentf0cacf550e7b621d58ae9e92b5a1ee66b5e60be0 (diff)
Merge branch 'master' of github.com:lonkaars/crepe-docs into jaro/research
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore3
1 files changed, 1 insertions, 2 deletions
diff --git a/.gitignore b/.gitignore
index efae07a..74caed0 100644
--- a/.gitignore
+++ b/.gitignore
@@ -29,8 +29,7 @@
# output files
*.pdf
-!img/*.pdf
-img/*.puml.pdf
# generated files
time.tex
+reqs.tex