diff --git a/build/developer.xml b/build/developer.xml index e145d04df53..947fa2e41c3 100755 --- a/build/developer.xml +++ b/build/developer.xml @@ -286,6 +286,12 @@ + + + +