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