diff options
| author | Karl Berry <karl@gnu.org> | 2007-05-03 16:31:03 +0000 |
|---|---|---|
| committer | Karl Berry <karl@gnu.org> | 2007-05-03 16:31:03 +0000 |
| commit | b21038b5e901898df55a5109029340d71f9f9442 (patch) | |
| tree | b399ac8d10fcf2727e9dcf6d493e0a48d5dd9eca /man | |
| parent | 0d2d1e561977def6578a0f9bbe1dffd9fffa86e5 (diff) | |
| download | emacs-b21038b5e901898df55a5109029340d71f9f9442.tar.gz | |
ignore *.pdf
Diffstat (limited to 'man')
| -rw-r--r-- | man/.gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/man/.gitignore b/man/.gitignore index 2e1fe645804..3ff56b474dd 100644 --- a/man/.gitignore +++ b/man/.gitignore @@ -9,6 +9,7 @@ *.log *.op *.ops +*.pdf *.pg *.pgs *.ps |