diff --git a/build/MPS-buildserver.xml b/build/MPS-buildserver.xml index e740c997073b..8184626e1080 100644 --- a/build/MPS-buildserver.xml +++ b/build/MPS-buildserver.xml @@ -9,7 +9,7 @@ - + - +