From 0428c6c7a83108385dbf71cfa734ed9221c50fb5 Mon Sep 17 00:00:00 2001 From: Christiaan Goossens Date: Thu, 15 Sep 2016 09:15:10 +0200 Subject: [PATCH] Update workspace --- .idea/workspace.xml | 42 ++++++++++++++++++------ simulator/.idea/workspace.xml | 61 +++++++++++++++++++++++------------ 2 files changed, 74 insertions(+), 29 deletions(-) diff --git a/.idea/workspace.xml b/.idea/workspace.xml index a07b8bb..78d2645 100644 --- a/.idea/workspace.xml +++ b/.idea/workspace.xml @@ -28,10 +28,10 @@ - @@ -58,23 +58,47 @@ - - - + + + + + + + + + + + + + + + + - + @@ -178,7 +202,7 @@ - + diff --git a/simulator/.idea/workspace.xml b/simulator/.idea/workspace.xml index f291e4e..2af5ccd 100644 --- a/simulator/.idea/workspace.xml +++ b/simulator/.idea/workspace.xml @@ -6,7 +6,10 @@ - + + + + @@ -30,7 +33,7 @@ - + @@ -40,7 +43,7 @@ - + @@ -52,7 +55,7 @@ - + @@ -62,7 +65,7 @@ - + @@ -85,6 +88,9 @@ + + - @@ -132,7 +138,7 @@ - + @@ -157,9 +163,9 @@ - + @@ -487,33 +493,33 @@ - + + + - + + - - - @@ -539,6 +545,21 @@ + + + + + + + + + + + + + + + @@ -913,7 +934,7 @@ - + @@ -921,7 +942,7 @@ - + @@ -929,7 +950,7 @@ - + @@ -944,7 +965,7 @@ - +