diff --git a/resources/install/build.xml b/resources/install/build.xml index 9dde725ab..9da79546a 100644 --- a/resources/install/build.xml +++ b/resources/install/build.xml @@ -1764,9 +1764,7 @@ - + @@ -1914,6 +1912,13 @@ + + + +