diff options
Diffstat (limited to 'info/.gitignore')
| -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 calc-[1-9]* eintr eintr-[1-9]* +tramp |