diff --git a/AbsSumAnnotator/.gitignore b/AbsSumAnnotator/.gitignore new file mode 100644 index 0000000..6b743b9 --- /dev/null +++ b/AbsSumAnnotator/.gitignore @@ -0,0 +1,4 @@ +*.class +*~ +.settings/* +target diff --git a/ClauseAnnotator/.gitignore b/ClauseAnnotator/.gitignore new file mode 100644 index 0000000..6b743b9 --- /dev/null +++ b/ClauseAnnotator/.gitignore @@ -0,0 +1,4 @@ +*.class +*~ +.settings/* +target diff --git a/ClauseSumAnnotator/.gitignore b/ClauseSumAnnotator/.gitignore new file mode 100644 index 0000000..6b743b9 --- /dev/null +++ b/ClauseSumAnnotator/.gitignore @@ -0,0 +1,4 @@ +*.class +*~ +.settings/* +target diff --git a/ExtrSumAnnotator/.gitignore b/ExtrSumAnnotator/.gitignore new file mode 100644 index 0000000..6b743b9 --- /dev/null +++ b/ExtrSumAnnotator/.gitignore @@ -0,0 +1,4 @@ +*.class +*~ +.settings/* +target