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. O
Oliver Kopp committed
d8a56ffdced3305cb28343d973d1d474a8544a9c
Parent: c0de8bc
Committed by GitHub <noreply@github.com>
on 7/10/2016, 12:35:30 PM