diff --git a/AbsSumAnnotator/.gitignore b/AbsSumAnnotator/.gitignore deleted file mode 100644 index ea8c4bf..0000000 --- a/AbsSumAnnotator/.gitignore +++ /dev/null @@ -1 +0,0 @@ -/target diff --git a/ClauseAnnotator/.gitignore b/ClauseAnnotator/.gitignore deleted file mode 100644 index ea8c4bf..0000000 --- a/ClauseAnnotator/.gitignore +++ /dev/null @@ -1 +0,0 @@ -/target diff --git a/ClauseSumAnnotator/.gitignore b/ClauseSumAnnotator/.gitignore deleted file mode 100644 index ea8c4bf..0000000 --- a/ClauseSumAnnotator/.gitignore +++ /dev/null @@ -1 +0,0 @@ -/target diff --git a/ExtrSumAnnotator/.gitignore b/ExtrSumAnnotator/.gitignore deleted file mode 100644 index ea8c4bf..0000000 --- a/ExtrSumAnnotator/.gitignore +++ /dev/null @@ -1 +0,0 @@ -/target