diff --git a/proposal/mutant/build.xml b/proposal/mutant/build.xml index 960e22f66..9850a95bb 100644 --- a/proposal/mutant/build.xml +++ b/proposal/mutant/build.xml @@ -84,7 +84,11 @@ - + + + + + @@ -199,7 +203,7 @@