diff --git a/proposal/xdocs/build.xml b/proposal/xdocs/build.xml index d9af20fdc..eefbbf944 100644 --- a/proposal/xdocs/build.xml +++ b/proposal/xdocs/build.xml @@ -433,7 +433,7 @@ - +