aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorlonkaars <loek@pipeframe.xyz>2022-02-12 15:22:29 +0100
committerlonkaars <loek@pipeframe.xyz>2022-02-12 15:22:29 +0100
commit86e4ca56d0b477a8c8ace46cdb02b828e199bc0a (patch)
tree71e0a29e030db70feee491f09f1e1dbead3a9970 /.gitignore
parent2997d4b21972baedbcb00bbbb5fbebc579a9d173 (diff)
system test document done
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore1
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index 11c2e87..04a40d2 100644
--- a/.gitignore
+++ b/.gitignore
@@ -11,3 +11,4 @@ copyright/
*.out
*.run.xml
*.synctex.gz
+*.toc