From 6ccbf7e11de8f1733d061bc6c6ff1986a97eb473 Mon Sep 17 00:00:00 2001 From: Rohan Sircar Date: Sun, 10 Jan 2021 11:52:47 +0530 Subject: [PATCH] removed pid files --- .attach_pid12833 | 0 .attach_pid19972 | 0 .gitignore | 2 ++ 3 files changed, 2 insertions(+) delete mode 100644 .attach_pid12833 delete mode 100644 .attach_pid19972 diff --git a/.attach_pid12833 b/.attach_pid12833 deleted file mode 100644 index e69de29..0000000 diff --git a/.attach_pid19972 b/.attach_pid19972 deleted file mode 100644 index e69de29..0000000 diff --git a/.gitignore b/.gitignore index 3acbc8f..9f53ee9 100644 --- a/.gitignore +++ b/.gitignore @@ -24,3 +24,5 @@ metals.sbt .vscode assets/ *.j3o +.attach_pid* +hs_err_pid* \ No newline at end of file