From 749e9ed0785e5393ec099fdca3d17ec6a84e136a Mon Sep 17 00:00:00 2001 From: Dawit Gulino 20013954 <32634333+DawitG96@users.noreply.github.com> Date: Thu, 31 May 2018 16:13:18 +0200 Subject: [PATCH] merged --- .idea/workspace.xml | 31 ++++++++++++++----------------- 1 file changed, 14 insertions(+), 17 deletions(-) diff --git a/.idea/workspace.xml b/.idea/workspace.xml index 6e9bcb6..9e9c42c 100644 --- a/.idea/workspace.xml +++ b/.idea/workspace.xml @@ -2,17 +2,7 @@ - - - - - - - - - - @@ -453,10 +443,9 @@ - @@ -630,6 +619,14 @@ 1527578891261 + + 1527775201021 + + @@ -665,11 +662,10 @@ - - @@ -736,7 +732,8 @@ -