From 3ad2f7d6ce828e6778e7c4ea858f54d9c6563e2b Mon Sep 17 00:00:00 2001 From: sebastian Date: Wed, 3 May 2017 10:12:09 +0200 Subject: [PATCH] ... --- .idea/workspace.xml | 22 +++++----------------- 1 file changed, 5 insertions(+), 17 deletions(-) diff --git a/.idea/workspace.xml b/.idea/workspace.xml index a9b38489..081156ef 100644 --- a/.idea/workspace.xml +++ b/.idea/workspace.xml @@ -1,19 +1,7 @@ - - - - - - - - - - - - - + @@ -1124,10 +1112,10 @@ - - + @@ -1149,7 +1137,7 @@ - +