summaryrefslogtreecommitdiff
path: root/doc/.gitignore
diff options
context:
space:
mode:
authorlonkaars <loek@pipeframe.xyz>2023-05-21 14:05:59 +0200
committerlonkaars <loek@pipeframe.xyz>2023-05-21 14:07:08 +0200
commit4d1d629ab7a3bd9d661ec5ed25fcf0b4837b946d (patch)
tree18a42f22367f7d0eda5c3a6e54149ffd8c313069 /doc/.gitignore
parent0b55cbd9b98420f3f2a2b9cfd8d384824c9fd4dc (diff)
more documentation
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