Add no-update commit flag

This commit is contained in:
2023-12-31 10:05:23 +01:00
parent 4b2f613e73
commit 03eb5780ca
2 changed files with 20 additions and 5 deletions

4
.gitignore vendored
View File

@ -5,4 +5,6 @@
*.aux
*.toc
*.out
[!_]*.pdf
[!_]*.pdf
.compiled