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 2dec4da3270..22a7fb78f56 100644 --- a/info/.gitignore +++ b/info/.gitignore @@ -45,3 +45,4 @@ eintr eintr-[1-9]* tramp tramp-[1-9]* +ses |