From 4ba6d72c9237626bd99829362a06f39ed296538f Mon Sep 17 00:00:00 2001
From: davegson <3080765+davegson@users.noreply.github.com>
Date: Fri, 25 Oct 2019 15:53:20 +0200
Subject: [PATCH] Remove unused file

---
 workbench.html | 1 -
 1 file changed, 1 deletion(-)
 delete mode 100644 workbench.html

diff --git a/workbench.html b/workbench.html
deleted file mode 100644
index 8b13789..0000000
--- a/workbench.html
+++ /dev/null
@@ -1 +0,0 @@
-