Add generated PDFs to the repo because generation no longer works.

lschmelzeisen · May 18, 2017 · c673855 · c673855
1 parent 23cde83
commit c673855
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 0 deletions.
diff --git a/presentation.pdf b/presentation.pdf
diff --git a/thesis.pdf b/thesis.pdf