michael/csci8980-f21
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Update .gitignore to disallow PDFs but include plfa.pdf.

Browse source
This commit is contained in:
Wen Kokke 2021-08-25 13:20:17 +01:00
parent 78108f5750
commit e4d7c79aa6
No known key found for this signature in database
GPG key ID: 7EB7DBBCEB539DB8
1 changed files with 5 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
.gitignore vendored
View file

@ -1,4 +1,5 @@
## Agda files
_build/
*.agdai
.agda-stdlib.sed
.links-*.sed
@ -11,7 +12,6 @@ stack.yaml.lock
dist-newstyle
## Jekyll files
_site/
.sass-cache/
.agda-stdlib.sed
.jekyll-metadata
@ -24,6 +24,7 @@ Gemfile.lock
*.fdb_latexmk
*.fls
*.log
*.pdf
*.spl
*.synctex.gz
@ -31,6 +32,8 @@ Gemfile.lock
auto/
## Misc build files
out/
*.zip
versions/plfa.github.io-web-*/
## Include plfa.pdf
!plfa.pdf