.gitignore: Add file

Ignore generated files.
master
Mike Gerwitz 2017-03-05 03:26:12 -05:00
parent c47121828b
commit eb9ebf74d0
1 changed files with 3 additions and 0 deletions

3
.gitignore vendored 100644
View File

@ -0,0 +1,3 @@
*.pdf
*.tex