diff options
| author | Dave Love <fx@gnu.org> | 1999-10-03 11:48:49 +0000 |
|---|---|---|
| committer | Dave Love <fx@gnu.org> | 1999-10-03 11:48:49 +0000 |
| commit | cbbbbf8c2a4960068354718fdee2982435c87628 (patch) | |
| tree | c2661e423ecafac17b032261cbb5846ac3a3087f /man/.gitignore | |
| parent | 3b9dc2bca53c547769d29e72d48b756edc30564f (diff) | |
| download | emacs-cbbbbf8c2a4960068354718fdee2982435c87628.tar.gz | |
Add *.tp *.tps *.ps.
Diffstat (limited to 'man/.gitignore')
| -rw-r--r-- | man/.gitignore | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/man/.gitignore b/man/.gitignore index c39e88496c5..b72a66f88fb 100644 --- a/man/.gitignore +++ b/man/.gitignore @@ -12,3 +12,6 @@ *.vrs *.vr *.dvi +*.ps +*.tp +*.tps |