diff --git a/resources/install/build.xml b/resources/install/build.xml index 92bbe7b74..8a4137a2d 100644 --- a/resources/install/build.xml +++ b/resources/install/build.xml @@ -891,6 +891,8 @@ + +