diff --git a/.gitignore b/.gitignore index 1ad6c642c..a682ff85e 100644 --- a/.gitignore +++ b/.gitignore @@ -1,3 +1,4 @@ out/* bin/* hs_err_pid* +/.idea/workspace.xml