patch a bug after file renaming

2022-06-10 10:42:15 +02:00
parent 2efd5bec74
commit d1d3b7c94e
1 changed files with 7 additions and 7 deletions
--- a/.gitignore
+++ b/.gitignore
@@ -5,13 +5,13 @@ log.*
 MANIFEST
 tarball

-main.aux
-main.idx
-main.ilg
-main.ind
-main.log
-main.pdf
-main.toc
+tetatricks.aux
+tetatricks.idx
+tetatricks.ilg
+tetatricks.ind
+tetatricks.log
+tetatricks.pdf
+tetatricks.toc

 code/a.out
 code/*.o