Skip to content

Commit

Permalink
chore: ignore tex build products
Browse files Browse the repository at this point in the history
  • Loading branch information
plt-amy committed Jul 3, 2024
1 parent 8499788 commit 11f6113
Showing 1 changed file with 7 additions and 0 deletions.
7 changes: 7 additions & 0 deletions .gitignore
Original file line number Diff line number Diff line change
Expand Up @@ -29,3 +29,10 @@ hie.yaml
*.o-boot
/rubtmp*

# LaTeX stuff that occasionally gets generated
*.log
*.synctex.gz
*.aux
*.fls
*.pdf
*.fdb_latexmk

0 comments on commit 11f6113

Please sign in to comment.