From 669d7248f2ceab19e5565a8b663576c0f9d06bbe Mon Sep 17 00:00:00 2001
From: Robin Mueller <muellerr@irs.uni-stuttgart.de>
Date: Fri, 10 Dec 2021 10:16:44 +0100
Subject: [PATCH] moved settings-default.json

---
 settings-default.json => .vscode/settings-default.json | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename settings-default.json => .vscode/settings-default.json (100%)

diff --git a/settings-default.json b/.vscode/settings-default.json
similarity index 100%
rename from settings-default.json
rename to .vscode/settings-default.json