You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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.
The text was updated successfully, but these errors were encountered:
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.
The text was updated successfully, but these errors were encountered: