From be73192451fa431810dde8293b5fbdcc87cacccb Mon Sep 17 00:00:00 2001 From: Brittany Johnson Date: Sun, 26 Jan 2020 10:56:30 -0500 Subject: [PATCH] remove defects4j from repo --- .gitignore | 1 + Holmes/defects4j | 1 - 2 files changed, 1 insertion(+), 1 deletion(-) create mode 100644 .gitignore delete mode 160000 Holmes/defects4j diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..f2886ba --- /dev/null +++ b/.gitignore @@ -0,0 +1 @@ +/Holmes/defects4j \ No newline at end of file diff --git a/Holmes/defects4j b/Holmes/defects4j deleted file mode 160000 index fee5ddf..0000000 --- a/Holmes/defects4j +++ /dev/null @@ -1 +0,0 @@ -Subproject commit fee5ddf020d0ce9c793655b74f0ab068153c03ef