diff options
author | heavydemon21 <nielsstunnebrink1@gmail.com> | 2023-05-21 15:56:05 +0200 |
---|---|---|
committer | heavydemon21 <nielsstunnebrink1@gmail.com> | 2023-05-21 15:56:05 +0200 |
commit | afeaea5cbae0c6075bfd6366d7c91399ecd2deb0 (patch) | |
tree | 906ee3795a15127f26ccd343dcd27a8784d78251 /doc/.gitignore | |
parent | d777e0c20af8484d130a05e9c18a9ff8b50d9e66 (diff) | |
parent | ba4cc491d546767fbb344d279d216cfb5ea0cc1f (diff) |
Merge branch 'master' of https://github.com/heavydemon21/avans-dui
Diffstat (limited to 'doc/.gitignore')
-rw-r--r-- | doc/.gitignore | 2 |
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 |