Skip to content

Commit

Permalink
update .gitignore
Browse files Browse the repository at this point in the history
  • Loading branch information
@SantriptaSharma
SantriptaSharma committed Oct 23, 2023
1 parent 9d59cc0 commit e54a0d2
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions .gitignore
View file
Original file line number Diff line number Diff line change
Expand Up @@ -19,6 +19,8 @@ counterexamples
*.synctex*
*.zip

*.tar

# redundant files
*_old.*

Expand Down

0 comments on commit e54a0d2

Please sign in to comment.