From d60671fb7fff25276cfd319d0f0f1996c4e5ed69 Mon Sep 17 00:00:00 2001 From: Filippo Tessarotto Date: Mon, 20 Feb 2023 14:40:13 +0100 Subject: [PATCH] Migrate phpunit.xml.dist --- phpunit.xml.dist | 17 +++++++++++------ 1 file changed, 11 insertions(+), 6 deletions(-) diff --git a/phpunit.xml.dist b/phpunit.xml.dist index 524e751b..2a28b61a 100644 --- a/phpunit.xml.dist +++ b/phpunit.xml.dist @@ -1,16 +1,21 @@ @@ -18,7 +23,7 @@ - + src