From d3e1d3c36833562240f00552d043cd895b81b746 Mon Sep 17 00:00:00 2001 From: Sven Heidemann Date: Thu, 4 Mar 2021 23:24:48 +0100 Subject: [PATCH] Readded workspace.xml --- .idea/workspace.xml | 886 ++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 886 insertions(+) create mode 100644 .idea/workspace.xml diff --git a/.idea/workspace.xml b/.idea/workspace.xml new file mode 100644 index 00000000..1c4d02c3 --- /dev/null +++ b/.idea/workspace.xml @@ -0,0 +1,886 @@ + + + + + + + + + + + + + + + + + + + + +