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