From b534f925890face10a2f4704dd5ea2acfc19be01 Mon Sep 17 00:00:00 2001 From: Doug Bunting <6431421+dougbu@users.noreply.github.com> Date: Sun, 2 Aug 2020 11:46:10 -0700 Subject: [PATCH] Remove unused HTML files (#24488) - 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 c6b24c57e8..0000000000 --- a/src/Hosting/Hosting/src/compiler/resources/GenericError.html +++ /dev/null @@ -1,146 +0,0 @@ - - - -
- -