remove defects4j from repo

LASER-UMASS · Jan 26, 2020 · be73192 · be73192
1 parent d004b45
commit be73192
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/.gitignore b/.gitignore
@@ -0,0 +1 @@
+/Holmes/defects4j
diff --git a/Holmes/defects4j b/Holmes/defects4j