diff --git a/proposal/mutant/build.xml b/proposal/mutant/build.xml index 9850a95bb..f5c5a86f0 100644 --- a/proposal/mutant/build.xml +++ b/proposal/mutant/build.xml @@ -210,8 +210,14 @@ version="true" windowtitle="Mutant API" doctitle="Mutant"> - - + + + + + + + +