diff options
| author | Gustaf Rydholm <gustaf.rydholm@gmail.com> | 2022-02-08 21:49:15 +0100 |
|---|---|---|
| committer | Gustaf Rydholm <gustaf.rydholm@gmail.com> | 2022-02-08 21:49:15 +0100 |
| commit | a05c24ca432c78bbc90fe189e9d4597bc1ad2e4d (patch) | |
| tree | bcada9c6f719cf22ae183058283f0dace9b59e89 | |
| parent | f1a77fd9db210d52c4f1fc94cc81db1065951e8c (diff) | |
chore: remove pdf from ignore
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -1,4 +1,3 @@ -*.pdf *.log *.aux *.out |