diff --git a/.gitignore b/.gitignore index 780c9e298..988ca09c5 100644 --- a/.gitignore +++ b/.gitignore @@ -15,3 +15,5 @@ hs_err_pid* + +