diff --git a/proposal/myrmidon/build.xml b/proposal/myrmidon/build.xml index 65e4c53a2..b7b696094 100644 --- a/proposal/myrmidon/build.xml +++ b/proposal/myrmidon/build.xml @@ -20,7 +20,7 @@ Legal: Give user a chance to override without editing this file (and without typing -D each time he compiles it) --> - +