From a2756e17d3229f5b9a23de53edc98cc6a9544295 Mon Sep 17 00:00:00 2001
From: kristof de spiegeleer <kristof@incubaid.com>
Date: Sun, 11 Jul 2021 13:13:15 +0000
Subject: [PATCH] workspace

---
 workspace.code-workspace | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 workspace.code-workspace

diff --git a/workspace.code-workspace b/workspace.code-workspace
new file mode 100644
index 000000000..f5106b064
--- /dev/null
+++ b/workspace.code-workspace
@@ -0,0 +1,11 @@
+{
+	"folders": [
+		{
+			"path": "."
+		},
+		{
+			"path": "../data_threefold"
+		}
+	],
+	"settings": {}
+}
\ No newline at end of file