Update .gitignore.

(cherry picked from commit ce9c55fdcf)
2023-11-15 12:27:48 +01:00 · 2023-11-15 12:27:48 +01:00 · 74c267d31b
parent 6c5ecb80cd
commit 74c267d31b
1 changed files with 6 additions and 0 deletions
--- a/.gitignore
+++ b/.gitignore
@ -9,3 +9,9 @@ notes.log
 notes.out
 notes.pdf
 notes.rubbercache
+
+report.aux
+report.log
+report.out
+report.pdf
+report.rubbercache