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

---
 .mvn/local-settings.xml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.mvn/local-settings.xml b/.mvn/local-settings.xml
index 8a6b1175c..8249107fb 100644
--- a/.mvn/local-settings.xml
+++ b/.mvn/local-settings.xml
@@ -7,6 +7,7 @@
             <mirrorOf>external:http:*</mirrorOf>
             <name>Pseudo repository to mirror external repositories initially using HTTP.</name>
             <url>http://0.0.0.0/</url>
+            <blocked>false</blocked>
           </mirror>
     </mirrors>
 </settings>