cryslith opened this issue 7 years ago · 0 comments
In my opinion the pdfs should be git-ignored since they should be generated from the existing files. otherwise changes will needlessly include large diffs to the compiled pdfs.