summaryrefslogtreecommitdiff
path: root/doc/.gitignore
diff options
context:
space:
mode:
authorheavydemon21 <nielsstunnebrink1@gmail.com>2023-05-21 15:56:05 +0200
committerheavydemon21 <nielsstunnebrink1@gmail.com>2023-05-21 15:56:05 +0200
commitafeaea5cbae0c6075bfd6366d7c91399ecd2deb0 (patch)
tree906ee3795a15127f26ccd343dcd27a8784d78251 /doc/.gitignore
parentd777e0c20af8484d130a05e9c18a9ff8b50d9e66 (diff)
parentba4cc491d546767fbb344d279d216cfb5ea0cc1f (diff)
Merge branch 'master' of https://github.com/heavydemon21/avans-dui
Diffstat (limited to 'doc/.gitignore')
-rw-r--r--doc/.gitignore2
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/.gitignore b/doc/.gitignore
index 25dcb3b..e5139ef 100644
--- a/doc/.gitignore
+++ b/doc/.gitignore
@@ -12,6 +12,8 @@
*.toc
*.synctex(busy)
*.md.tex
+*.lof
+*.lot
# ignore output files
*.pdf