From 47f1fca1afc2c328b155665aba840039adb49ea9 Mon Sep 17 00:00:00 2001 From: Doug Bunting <6431421+dougbu@users.noreply.github.com> Date: Fri, 31 Jul 2020 13:12:56 -0700 Subject: [PATCH] Remove unused HTML files - just a bit confusing to leave these around - the files haven't been used since @pakrym removed the resources in 56c064bd53ed --- .../src/compiler/resources/GenericError.html | 146 ------------------ .../resources/GenericError_Exception.html | 8 - .../resources/GenericError_Footer.html | 3 - .../resources/GenericError_Message.html | 3 - 4 files changed, 160 deletions(-) delete mode 100644 src/Hosting/Hosting/src/compiler/resources/GenericError.html delete mode 100644 src/Hosting/Hosting/src/compiler/resources/GenericError_Exception.html delete mode 100644 src/Hosting/Hosting/src/compiler/resources/GenericError_Footer.html delete mode 100644 src/Hosting/Hosting/src/compiler/resources/GenericError_Message.html diff --git a/src/Hosting/Hosting/src/compiler/resources/GenericError.html b/src/Hosting/Hosting/src/compiler/resources/GenericError.html deleted file mode 100644 index c6b24c57e852..000000000000 --- a/src/Hosting/Hosting/src/compiler/resources/GenericError.html +++ /dev/null @@ -1,146 +0,0 @@ - - - -
- -