aboutsummaryrefslogtreecommitdiff
path: root/doc/.gitignore
diff options
context:
space:
mode:
authorlonkaars <loek@pipeframe.xyz>2023-05-23 13:22:18 +0200
committerlonkaars <loek@pipeframe.xyz>2023-05-23 13:22:18 +0200
commit3b184a992b5da004027f6c26d750fbc848af4cca (patch)
tree4674a5a51d35c266962a7e93f0fe3ccf82fbdedc /doc/.gitignore
parent2d4bf042a5e878e3eb0b3d4f8e8941644d8e6f21 (diff)
add version control table to title page
Diffstat (limited to 'doc/.gitignore')
-rw-r--r--doc/.gitignore1
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/.gitignore b/doc/.gitignore
index e5139ef..8e7ebcc 100644
--- a/doc/.gitignore
+++ b/doc/.gitignore
@@ -17,3 +17,4 @@
# ignore output files
*.pdf
+versionctl.tex