diff options
Diffstat (limited to 'info')
| -rw-r--r-- | info/.gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/info/.gitignore b/info/.gitignore index faa6f2ca5a8..bd7cf319eb6 100644 --- a/info/.gitignore +++ b/info/.gitignore | |||
| @@ -14,6 +14,7 @@ gnus | |||
| 14 | gnus-[1-9]* | 14 | gnus-[1-9]* |
| 15 | info | 15 | info |
| 16 | message | 16 | message |
| 17 | message-[1-9]* | ||
| 17 | mh-e | 18 | mh-e |
| 18 | mh-e-[1-9]* | 19 | mh-e-[1-9]* |
| 19 | reftex | 20 | reftex |