diff options
| -rw-r--r-- | info/.gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/info/.gitignore b/info/.gitignore index 5a1c4f591b1..af5e84cfeac 100644 --- a/info/.gitignore +++ b/info/.gitignore | |||
| @@ -43,3 +43,4 @@ calc | |||
| 43 | calc-[1-9]* | 43 | calc-[1-9]* |
| 44 | eintr | 44 | eintr |
| 45 | eintr-[1-9]* | 45 | eintr-[1-9]* |
| 46 | tramp | ||