commit 1ac70ea9d3cdc668d47246732a9edff0704a4c07 parent 2413f131c073d530905c0ef5079f578b2e582318 Author: Antoine Amarilli <a3nm@a3nm.net> Date: Sun, 18 Feb 2024 10:25:12 +0100 save-error files? Diffstat:
gitignore | | | 2 | ++ |
1 file changed, 2 insertions(+), 0 deletions(-)
diff --git a/gitignore b/gitignore @@ -8,3 +8,5 @@ *.snm *.toc *.run.xml +*.bcf-SAVE-ERROR +*.bbl-SAVE-ERROR