From 9481ed050003f01ce0a486116ae648f3ab1e8b5a Mon Sep 17 00:00:00 2001
From: Daniele Gerbaldo <daniele.gerbaldo@edu.unito.it>
Date: Tue, 26 Mar 2024 04:01:01 +0100
Subject: [PATCH] Rename local-settings.xml to settings.xml

---
 .mvn/{local-settings.xml => settings.xml} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename .mvn/{local-settings.xml => settings.xml} (100%)

diff --git a/.mvn/local-settings.xml b/.mvn/settings.xml
similarity index 100%
rename from .mvn/local-settings.xml
rename to .mvn/settings.xml