From 45edf8ef4eda6b07a5f79aeb831ed6596a2c569f Mon Sep 17 00:00:00 2001 From: Vincent Vanwaelscappel Date: Fri, 21 Jul 2023 15:23:38 +0200 Subject: [PATCH] wip #6145 --- .idea/workspace.xml | 19 +++++++++++++------ backup | 2 +- 2 files changed, 14 insertions(+), 7 deletions(-) diff --git a/.idea/workspace.xml b/.idea/workspace.xml index 3909b46..7a9f012 100644 --- a/.idea/workspace.xml +++ b/.idea/workspace.xml @@ -4,8 +4,7 @@