From 91a7ef985bd58a22184f92acc1bae548b2f47ac2 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Luc=C3=A0s?= Date: Tue, 15 Nov 2022 15:26:51 +0100 Subject: [PATCH] Update workspace.xml --- .idea/workspace.xml | 13 +++---------- 1 file changed, 3 insertions(+), 10 deletions(-) diff --git a/.idea/workspace.xml b/.idea/workspace.xml index ea34ffd..f778a49 100644 --- a/.idea/workspace.xml +++ b/.idea/workspace.xml @@ -1,15 +1,8 @@ - - - - - - - - - + +