diff --git a/build.xml b/build.xml index e4e1ea941..575afb328 100644 --- a/build.xml +++ b/build.xml @@ -352,6 +352,21 @@ printed. + + + + + + + + + + + + + +