From 283cb59d4209070489f22f9a2852955258365b10 Mon Sep 17 00:00:00 2001 From: ValerioC Date: Tue, 14 Feb 2023 11:41:05 +0100 Subject: [PATCH] rimosse configurazioni di esecuzione non utilizzate e corretta gestione setup --- .../{app_base.xml => app.xml} | 12 ++-- .idea/runConfigurations/app_vglimenti.xml | 62 ------------------- .../core/settings/SettingsManager.java | 2 +- 3 files changed, 6 insertions(+), 70 deletions(-) rename .idea/runConfigurations/{app_base.xml => app.xml} (86%) delete mode 100644 .idea/runConfigurations/app_vglimenti.xml diff --git a/.idea/runConfigurations/app_base.xml b/.idea/runConfigurations/app.xml similarity index 86% rename from .idea/runConfigurations/app_base.xml rename to .idea/runConfigurations/app.xml index 30783e46..80d18a58 100644 --- a/.idea/runConfigurations/app_base.xml +++ b/.idea/runConfigurations/app.xml @@ -1,5 +1,5 @@ - +