From 20e820c9039d72a432eed09d290fcadb9258aee8 Mon Sep 17 00:00:00 2001 From: Armin Schrenk Date: Fri, 24 Feb 2023 12:48:01 +0100 Subject: [PATCH] update IDE specific files --- .idea/compiler.xml | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) diff --git a/.idea/compiler.xml b/.idea/compiler.xml index e9c70c10f..1d25cbef3 100644 --- a/.idea/compiler.xml +++ b/.idea/compiler.xml @@ -14,10 +14,10 @@