diff options
| author | Maker <maker@andrewdm.me> | 2017-12-26 17:49:10 +0000 |
|---|---|---|
| committer | Andrew Murrell <merl@neo.andrewdm.me> | 2017-12-26 17:49:10 +0000 |
| commit | 937fb1970bb644d08dbe9c112b74747dcc11fb02 (patch) | |
| tree | 8866e029038160c0000b42f153de10260b649232 | |
| parent | 1af86a22a8a140d4391cad003ed9b45c6e12ac3f (diff) | |
make: removed pdfs because of server issue.
| -rw-r--r-- | .gitignore | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -2,4 +2,4 @@ .tmp* !/out/ out/* -out/*/*
\ No newline at end of file +out/*/*!/out/ |