From 18295de72140e8006838fe59357bad628a726b86 Mon Sep 17 00:00:00 2001 From: Oliver Vogel Date: Thu, 29 Feb 2024 16:10:58 +0100 Subject: [PATCH] Rename xml file for proper extension --- phpunit.xml.dist => phpunit.dist.xml | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename phpunit.xml.dist => phpunit.dist.xml (100%) diff --git a/phpunit.xml.dist b/phpunit.dist.xml similarity index 100% rename from phpunit.xml.dist rename to phpunit.dist.xml