From 02e391c3c54d49738d0bf2d8b9c1a90f6c9580af Mon Sep 17 00:00:00 2001 From: Sebastian Bergmann Date: Mon, 2 Jan 2012 09:48:48 +0100 Subject: [PATCH] Make sure we use the right PHPUnit. --- build.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build.xml b/build.xml index c9f172415b9..f902382b810 100644 --- a/build.xml +++ b/build.xml @@ -135,7 +135,7 @@ - +