Browse Source

Some more ignored files in gitignore

Getty Ritter 5 years ago
parent
commit
a330402399
1 changed files with 2 additions and 0 deletions
  1. 2 0
      .gitignore

+ 2 - 0
.gitignore

@@ -2,3 +2,5 @@
 *.aux
 *.log
 *.pdf
+\#*
+.redo