From 9aae717ef191add778ca8a6f24980b4109307df7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jakobus=20Sch=C3=BCrz?= <jakobus.schuerz>
Date: Wed, 12 Feb 2020 00:22:16 +0100
Subject: [PATCH] remove workdirfs from myshellconfig.

it's problematic with git-url, so use as less submodules as possible.
if you want workdirfs, just use it separately
---
 workdirfs | 1 -
 1 file changed, 1 deletion(-)
 delete mode 160000 workdirfs

diff --git a/workdirfs b/workdirfs
deleted file mode 160000
index 84e7a8b..0000000
--- a/workdirfs
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit 84e7a8b3d76028596395805a49e76c78b7a1d27b