diff --git a/proposal/myrmidon/build.xml b/proposal/myrmidon/build.xml index 6f7438c7d..93c321130 100644 --- a/proposal/myrmidon/build.xml +++ b/proposal/myrmidon/build.xml @@ -183,7 +183,6 @@ Legal: - @@ -307,6 +306,7 @@ Legal: + @@ -350,6 +350,13 @@ Legal: + + + + + + + @@ -431,7 +438,7 @@ Legal: - +