diff options
| author | Dave Love | 1999-10-03 11:48:49 +0000 |
|---|---|---|
| committer | Dave Love | 1999-10-03 11:48:49 +0000 |
| commit | cbbbbf8c2a4960068354718fdee2982435c87628 (patch) | |
| tree | c2661e423ecafac17b032261cbb5846ac3a3087f | |
| parent | 3b9dc2bca53c547769d29e72d48b756edc30564f (diff) | |
| download | emacs-cbbbbf8c2a4960068354718fdee2982435c87628.tar.gz emacs-cbbbbf8c2a4960068354718fdee2982435c87628.zip | |
Add *.tp *.tps *.ps.
| -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 @@ | |||
| 12 | *.vrs | 12 | *.vrs |
| 13 | *.vr | 13 | *.vr |
| 14 | *.dvi | 14 | *.dvi |
| 15 | *.ps | ||
| 16 | *.tp | ||
| 17 | *.tps | ||