built pdfs included in repository #4
Description
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.
{{ message }}
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.