Skip to content

Commit

Permalink
Update .gitignore
Browse files Browse the repository at this point in the history
  • Loading branch information
@pitmonticone
pitmonticone committed Jun 6, 2024
1 parent 17ab546 commit e9b9b22
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion .gitignore
View file
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,7 @@
# Lean blueprint
/blueprint/lean_decls
/blueprint/src/web.bbl
blueprint/src/chapters/0-introduction.tex
/blueprint/src/chapters/0-introduction.tex

# Temporary files
/tmp

0 comments on commit e9b9b22

Please sign in to comment.