diff --git a/build_common.xml b/build_common.xml index 0d0dec302..14f33816e 100644 --- a/build_common.xml +++ b/build_common.xml @@ -523,17 +523,8 @@ - - - - - - - - - - - + + WARNING: Changes need to be PUSHed to the GIT repository.