diff options
| -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 | |||
| 45 | eintr-[1-9]* | 45 | eintr-[1-9]* |
| 46 | tramp | 46 | tramp |
| 47 | tramp-[1-9]* | 47 | tramp-[1-9]* |
| 48 | ses | ||