From 39e1b79d8a34453bc35ce5dabdd65a5d1b6fecc2 Mon Sep 17 00:00:00 2001
From: Daniele Gerbaldo <daniele.gerbaldo@edu.unito.it>
Date: Tue, 26 Mar 2024 04:07:41 +0100
Subject: [PATCH] Update local-settings.xml

---
 .mvn/local-settings.xml | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/.mvn/local-settings.xml b/.mvn/local-settings.xml
index 8249107fb..2111e9e48 100644
--- a/.mvn/local-settings.xml
+++ b/.mvn/local-settings.xml
@@ -1,6 +1,5 @@
-<settings xmlns="https://maven.apache.org/SETTINGS/1.2.0"
-          xmlns:xsi="https://www.w3.org/2001/XMLSchema-instance"
-          xsi:schemaLocation="https://maven.apache.org/SETTINGS/1.2.0 https://maven.apache.org/xsd/settings-1.2.0.xsd">
+<settings xmlns="http://maven.apache.org/SETTINGS/1.2.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
+  xsi:schemaLocation="http://maven.apache.org/SETTINGS/1.2.0 http://maven.apache.org/xsd/settings-1.2.0.xsd">
     <mirrors>
           <mirror>
             <id>maven-default-http-blocker</id>