diff --git a/proposal/myrmidon/build.xml b/proposal/myrmidon/build.xml index 3ade17a56..425125657 100644 --- a/proposal/myrmidon/build.xml +++ b/proposal/myrmidon/build.xml @@ -76,7 +76,7 @@ Legal: - + @@ -382,6 +382,12 @@ Legal: + + @@ -404,7 +410,7 @@ Legal: - + - - + - + @@ -511,7 +516,7 @@ Legal: - +