diff --git a/.gitignore b/.gitignore index 780c9e298..b8d98cb6e 100644 --- a/.gitignore +++ b/.gitignore @@ -15,3 +15,4 @@ hs_err_pid* +