diff --git a/.gitignore b/.gitignore index 7c5d92a73f..67b3c1c593 100644 --- a/.gitignore +++ b/.gitignore @@ -7,3 +7,4 @@ *~ /nonfree /target +hs_err_pid*.log