Skip to content

Commit

Permalink
Merge pull request #22 from pitmonticone/update-blueprint
Browse files Browse the repository at this point in the history
Update blueprint
  • Loading branch information
Jlh18 authored Sep 7, 2024
2 parents 4145542 + 0e01a4e commit 5d895a2
Show file tree
Hide file tree
Showing 3 changed files with 40 additions and 4 deletions.
44 changes: 40 additions & 4 deletions .gitignore
Original file line number Diff line number Diff line change
@@ -1,4 +1,40 @@
build/
lake-packages/
.lake/
**/.DS_Store
## macOS
.DS_Store
## Lake
.lake/*
.cache/*
## Blueprint
/blueprint/print/print.log
/blueprint/web/
/blueprint/src/print.pdf
/blueprint/src/web.paux
/blueprint/src/web.pdf
/blueprint/src/web.bbl
/blueprint/print/
## Docs
docs/_includes/sorries.md
## TeX
*.aux
*.lof
*.log
*.lot
*.fls
*.out
*.toc
*.fmt
*.fot
*.cb
*.cb2
.*.lb
*.bbl
*.bcf
*.blg
*-blx.aux
*-blx.bib
*.run.xml
*.fdb_latexmk
*.synctex
*.synctex(busy)
*.synctex.gz
*.synctex.gz(busy)
*.pdfsync
Empty file added blueprint/lean_decls
Empty file.
Binary file modified blueprint/print/print.pdf
Binary file not shown.

0 comments on commit 5d895a2

Please sign in to comment.