From a2028d2266a59da7f19519dbf9d2318e87f8cba3 Mon Sep 17 00:00:00 2001
From: Andreas Stephanides <andis@fet.at>
Date: Mon, 18 Jan 2021 19:33:56 +0000
Subject: [PATCH] empty del

---
 .theia-workspace | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 delete mode 100644 .theia-workspace

diff --git a/.theia-workspace b/.theia-workspace
deleted file mode 100644
index e69de29..0000000