removed pid files

3 years ago · 6ccbf7e11d
3 changed files with 2 additions and 0 deletions
--- a/.attach_pid12833
+++ b/.attach_pid12833
--- a/.attach_pid19972
+++ b/.attach_pid19972
--- a/.gitignore
+++ b/.gitignore
@ -24,3 +24,5 @@ metals.sbt
 .vscode
 assets/
 *.j3o
+.attach_pid*
+hs_err_pid*