From dea887d901efbb2832b24762a8473cd5334801f8 Mon Sep 17 00:00:00 2001 From: Thomas Date: Tue, 2 Oct 2018 09:20:39 +0200 Subject: [PATCH] new version --- .idea/workspace.xml | 35 ++++++++++++++++------------------- 1 file changed, 16 insertions(+), 19 deletions(-) diff --git a/.idea/workspace.xml b/.idea/workspace.xml index bc54e88..271aa72 100644 --- a/.idea/workspace.xml +++ b/.idea/workspace.xml @@ -1,11 +1,7 @@ - - - - - + @@ -19,11 +15,12 @@ - + + - + @@ -50,7 +47,7 @@ - + @@ -76,7 +73,7 @@ - + @@ -134,15 +131,16 @@ - + @@ -190,7 +188,6 @@