diff options
| author | Oliver Kopp <kopp.dev@gmail.com> | 2016-07-10 14:35:30 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-07-10 14:35:30 +0200 |
| commit | d8a56ffdced3305cb28343d973d1d474a8544a9c (patch) | |
| tree | 10b527d119ebd7d79f98ff0f204ffc9d9a4415b5 /Global/Dropbox.gitignore | |
| parent | c0de8bc140e3079c93f2970be853d310602a5ddb (diff) | |
| download | gitignore-d8a56ffdced3305cb28343d973d1d474a8544a9c.tar.gz gitignore-d8a56ffdced3305cb28343d973d1d474a8544a9c.zip | |
Ignore .pdf
On Windows, when PDF is opened with Acrobat Reader, one gets following output:
! I can't write on file `document.pdf'.
Please type another file name for output:
If one simply presses "Enter" to continue, the file `.pdf` is generated. Since this is a common case and `.pdf` is never used as full file name, this file should be ignored, too.
Diffstat (limited to 'Global/Dropbox.gitignore')
0 files changed, 0 insertions, 0 deletions